DOCSLIB.ORG

Warranty Regarding Use of Open Source Software (FOSS) 1 Open

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Warranty Regarding Use of Open Source Software (FOSS) 1 Open 5/30/2018 Cloud_4.21_with_MIT_osd.html Open Source Declaration for: Cloud Softare Release: Version: 4.21 Release Date: 2018-04-15 This document contains license and notices for free and open source software (Collectively “FOSS”) used within this product. If you have any questions or wish to receive a copy of any FOSS source code to which you may be entitled, please contact us at [email protected]. Extreme Networks, Inc. 6480 Via Del Oro San Jose, California 95119 Phone / +1 408.904.7002 Toll-free / +1 888.257.3000 www.extremenetworks.com ©2018 Extreme Networks, Inc. All rights reserved. Extreme Networks, the Extreme Networks logo, and Cloud are trademarks or registered trademarks of Extreme Networks, Inc. in the United States and/or other countries. All other names are the property of their respective owners. All other registered trademarks, trademarks, and service marks are property of their respective owners. For additional information on Extreme Networks trademarks, see www.extremenetworks.com/company/legal/trademarks Warranty Regarding Use of Open Source Software (FOSS) Extreme Networks provides no warranty for Free and Open Source Software (FOSS) programs contained in this product, if such programs are used in any manner other than the program execution intended by Extreme Networks. The licenses listed below define the warranty, if any, from the authors or licensors of FOSS. Extreme Networks specifically disclaims any warranties for defects caused by altering or modifying any FOSS program or the product´s recommended configuration. You have no warranty claims against Extreme Networks in the event that FOSS infringes the intellectual property rights of a third party. Technical support, if any, will only be provided for unmodified product used within such product’s recommended configuration. 1 Open Source Software (FOSS) Used in the Product Package License AdminLTE 2.4.1 MIT License(MIT) Angular paginator MIT License(MIT) Artistic-2.0 Artistic License 2.0(Artistic-2.0) BSD BSD Style License EXOS Custom Proprietary [template] Basic Proprietary Commercial License DOC License(DOC) EventEmitter 4.3.0 MIT License(MIT) Extreme Networks Basic Proprietary Commercial License Unversioned HTML5-ImageUploader MIT License(MIT) Moment.js 2.10.6 MIT License(MIT) file:///C:/Users/jfagan/Documents/Cloud_4.21_with_MIT_osd.html 1/74 5/30/2018 Cloud_4.21_with_MIT_osd.html Mozilla XML-RPC GNU Lesser General Public License 2.1(LGPL-2.1) Mozilla Public License 1.1(MPL-1.1) NOT Product related Identity Engines Node.js 8.5.1 (node-v8.5.0) (Node.js 8.5.1 MIT License(MIT) Not Product Related Identity Engines Open Layers 2 MIT License(MIT) QuasimondoJS Unpublished License Sencha Ext JS Basic Proprietary Commercial License Unversioned Siddhi CEP Apache License 2.0(Apache-2.0) TinyColor 1.3.0 MIT License(MIT) angucomplete-alt 2.0.3 MIT License(MIT) angular MIT License(MIT) angular-multi-select 4.0.0 MIT License(MIT) angular-native-dragdrop 1.2.2 MIT License(MIT) angular-smart-table 2.1.8 MIT License(MIT) angular-timezone-selector MIT License(MIT) angular-translate 2.12.1 MIT License(MIT) angular-translate 2.15.2 MIT License(MIT) angular-translate 2.16.0 MIT License(MIT) angular-translate 2.17.0 MIT License(MIT) angular-translate-loader-partial 2.17.0 MIT License(MIT) angular-translate-loader-url 2.16.0 MIT License(MIT) angular-translate-storage-cookie 2.17.0 MIT License(MIT) angular-translate-storage-local 2.17.0 MIT License(MIT) angular-ui-grid 4.0.2 MIT License(MIT) angular-wizard-directive BSD Like License angularjs-slider 6.0.0 MIT License(MIT) base64-js 1.0.2 MIT License(MIT) blueflood 1.0.1956 Apache License 2.0(Apache-2.0) blueflood 2.0.0 Apache License 2.0(Apache-2.0) bootstrap 3.1.1 MIT License(MIT) bootstrap 3.3.5 MIT License(MIT) bootstrap-bower 2.0.1 MIT License(MIT) bower-angular-translate-loader-static-files 2.11.0 MIT License(MIT) cassandra-jdbc-driver Apache License 2.0 Apache License 2.0(Apache-2.0) chosen 1.6.2 MIT License(MIT) chosen 1.7.0 MIT License(MIT) BSD 2-clause "Simplified" License(BSD-2-Clause) chroma-js 1.1.1 BSD 3-clause "New" or "Revised" License(BSD-3-Clause) commons Apache License 2.0(Apache-2.0) d3 3.5.17 BSD 3-clause "New" or "Revised" License(BSD-3-Clause) file-saver.js 1.2 MIT License(MIT) flot 0.8.3 MIT License(MIT) flot.tooltip 0.8.6 MIT License(MIT) flot.tooltip 0.8.7 MIT License(MIT) freeradius-server 2.2.6 GNU General Public License 2.0(GPL-2.0) freeradius-server 3.0.10 GNU General Public License 2.0(GPL-2.0) file:///C:/Users/jfagan/Documents/Cloud_4.21_with_MIT_osd.html 2/74 5/30/2018 Cloud_4.21_with_MIT_osd.html fullcalendar 2.3.1 MIT License(MIT) grafana 4.4.3 Apache License 2.0(Apache-2.0) grunt MIT License(MIT) gulp-connect MIT License(MIT) gulpjs MIT License(MIT) harmony-reflect 1.3.1 Apache License 2.0(Apache-2.0) jQuery Core 1.5.RC1 MIT License(MIT) GNU General Public License 2.0(GPL-2.0) jQuery Core 1.7b1 MIT License(MIT) jQueryUI 1.10.3 MIT License(MIT) jquery MIT License(MIT) jsTimezoneDetect MIT License(MIT) jsts 0.16.0 GNU Lesser General Public License 2.1(LGPL-2.1) justgage MIT License(MIT) justgage 1.2.9 MIT License(MIT) lodash 4.17.2 MIT License(MIT) material 1.1.4 MIT License(MIT) ng-file-upload 12.2.9 MIT License(MIT) ng-pageslide 2.1.4 MIT License(MIT) ngDraggable 0.1.8 MIT License(MIT) ngListSelect MIT License(MIT) node_pcap MIT License(MIT) Apache License 2.0(Apache-2.0) ol3 3.8.0 BSD 2-clause FreeBSD License(BSD-2-Clause-FreeBSD) MIT License(MIT) oxymoron 1.0.0 MIT License(MIT) playground MIT License(MIT) term.js MIT License(MIT) timezone-picker MIT License(MIT) try_api 0.0.16 MIT License(MIT) ui-select 0.19.6 MIT License(MIT) ui-sortable 0.14.3 MIT License(MIT) zkopenlayers 1.0.0 GNU General Public License 2.0(GPL-2.0) 2 Apache License 2.0(Apache-2.0) Packages: Siddhi CEP blueflood 2.0.0 cassandra-jdbc-driver Apache License 2.0 commons grafana 4.4.3 harmony-reflect 1.3.1 ol3 3.8.0 file:///C:/Users/jfagan/Documents/Cloud_4.21_with_MIT_osd.html 3/74 5/30/2018 Cloud_4.21_with_MIT_osd.html Apache License, Version 2.0 Apache License Version 2.0, January 2004 http://www.apache.org/licenses/ TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION 1. Definitions. "License" shall mean the terms and conditions for use, reproduction, and distribution as defined by Sections 1 through 9 of this document. ll mean the copyright owner or entity authorized by the copyright owner that is granting the License. "Legal Entity" shall mean the union of the acting entity and all other entities that control, are controlled by, or are under common control with that entity. For the purposes of this definition, "control" means (i) the power, direct or indirect, to cause the direction or management of such entity, whether by contract or otherwise, or (ii) ownership of fifty percent (50%) or more of the outstanding shares, or (iii) beneficial ownership of such entity. "You" (or "Your") shall mean an individual or Legal Entity exercising permissions granted by this License. "Source" form shall mean the preferred form for making modifications, including but not limited to software source code, documentation source, and configuration files. "Object" form shall mean any form resulting from mechanical transformation or translation of a Source form, including but not limited to compiled object code, generated documentation, and conversions to other media types. "Work" shall mean the work of authorship, whether in Source or Object form, made available under the License, as indicated by a copyright notice that is included in or attached to the work (an example is provided in the Appendix below). "Derivative Works" shall mean any work, whether in Source or Object form, that is based on (or derived from) the Work and for which the editorial revisions, annotations, elaborations, or other modifications represent, as a whole, an original work of authorship. For the purposes of this License, Derivative Works shall not include works that remain separable from, or merely link (or bind by name) to the interfaces of, the Work and Derivative Works thereof. "Contribution" shall mean any work of authorship, including the original version of the Work and any modifications or additions to that Work or Derivative Works thereof, that is intentionally submitted to Licensor for inclusion in the Work by the copyright owner or by an individual or Legal Entity authorized to submit on behalf of the copyright owner. For the purposes of this definition, "submitted" means any form of electronic, verbal, or written communication sent to the Licensor or its representatives, including but not limited to communication on electronic mailing lists, source code control systems, and issue tracking systems that are managed by, or on behalf of, the Licensor for the purpose of discussing and improving the Work, but excluding communication that is conspicuously marked or otherwise designated in writing by the copyright owner as "Not a Contribution." "Contributor" shall mean Licensor and any individual or Legal Entity on behalf of whom a Contribution has been received by Licensor and subsequently incorporated within the Work. 2. Grant of Copyright License. Subject to the terms and conditions of this License, each Contributor hereby grants to You a perpetual, worldwide, non-exclusive, no-charge, royalty-free, irrevocable copyright license to reproduce, prepare Derivative Works of, publicly display, publicly perform, sublicense, and distribute the Work and such Derivative Works in Source or Object form.
Load more

Recommended publications
  • Open Source Used in Influx1.8 Influx 1.9
    Open Source Used In Influx1.8 Influx 1.9 Cisco Systems, Inc. www.cisco.com Cisco has more than 200 offices worldwide. Addresses, phone numbers, and fax numbers are listed on the Cisco website at www.cisco.com/go/offices. Text Part Number: 78EE117C99-1178791953 Open Source Used In Influx1.8 Influx 1.9 1 This document contains licenses and notices for open source software used in this product. With respect to the free/open source software listed in this document, if you have any questions or wish to receive a copy of any source code to which you may be entitled under the applicable free/open source license(s) (such as the GNU Lesser/General Public License), please contact us at [email protected]. In your requests please include the following reference number 78EE117C99-1178791953 Contents 1.1 golang-protobuf-extensions v1.0.1 1.1.1 Available under license 1.2 prometheus-client v0.2.0 1.2.1 Available under license 1.3 gopkg.in-asn1-ber v1.0.0-20170511165959-379148ca0225 1.3.1 Available under license 1.4 influxdata-raft-boltdb v0.0.0-20210323121340-465fcd3eb4d8 1.4.1 Available under license 1.5 fwd v1.1.1 1.5.1 Available under license 1.6 jaeger-client-go v2.23.0+incompatible 1.6.1 Available under license 1.7 golang-genproto v0.0.0-20210122163508-8081c04a3579 1.7.1 Available under license 1.8 influxdata-roaring v0.4.13-0.20180809181101-fc520f41fab6 1.8.1 Available under license 1.9 influxdata-flux v0.113.0 1.9.1 Available under license 1.10 apache-arrow-go-arrow v0.0.0-20200923215132-ac86123a3f01 1.10.1 Available under
    [Show full text]
  • License Agreement
    End User License Agreement If you have another valid, signed agreement with Licensor or a Licensor authorized reseller which applies to the specific products or services you are downloading, accessing, or otherwise receiving, that other agreement controls; otherwise, by using, downloading, installing, copying, or accessing Software, Maintenance, or Consulting Services, or by clicking on "I accept" on or adjacent to the screen where these Master Terms may be displayed, you hereby agree to be bound by and accept these Master Terms. These Master Terms also apply to any Maintenance or Consulting Services you later acquire from Licensor relating to the Software. You may place orders under these Master Terms by submitting separate Order Form(s). Capitalized terms used in the Agreement and not otherwise defined herein are defined at https://terms.tibco.com/posts/845635-definitions. 1. Applicability. These Master Terms represent one component of the Agreement for Licensor's products, services, and partner programs and apply to the commercial arrangements between Licensor and Customer (or Partner) listed below. Additional terms referenced below shall apply. a. Products: i. Subscription, Perpetual, or Term license Software ii. Cloud Service (Subject to the Cloud Service Terms found at https://terms.tibco.com/?types%5B%5D=post&feed=recent#cloud-services) iii. Equipment (Subject to the Equipment Terms found at https://terms.tibco.com/?types%5B%5D=post&feed=recent#equipment-terms) b. Services: i. Maintenance (Subject to the Maintenance terms found at https://terms.tibco.com/?types%5B%5D=post&feed=recent#october-maintenance) ii. Consulting Services (Subject to the Consulting terms found at https://terms.tibco.com/?types%5B%5D=post&feed=recent#supplemental-terms) iii.
    [Show full text]
  • Download the Basketballplayer.Ngql Fle Here
    Nebula Graph Database Manual v1.2.1 Min Wu, Amber Zhang, XiaoDan Huang 2021 Vesoft Inc. Table of contents Table of contents 1. Overview 4 1.1 About This Manual 4 1.2 Welcome to Nebula Graph 1.2.1 Documentation 5 1.3 Concepts 10 1.4 Quick Start 18 1.5 Design and Architecture 32 2. Query Language 43 2.1 Reader 43 2.2 Data Types 44 2.3 Functions and Operators 47 2.4 Language Structure 62 2.5 Statement Syntax 76 3. Build Develop and Administration 128 3.1 Build 128 3.2 Installation 134 3.3 Configuration 141 3.4 Account Management Statement 161 3.5 Batch Data Management 173 3.6 Monitoring and Statistics 192 3.7 Development and API 199 4. Data Migration 200 4.1 Nebula Exchange 200 5. Nebula Graph Studio 224 5.1 Change Log 224 5.2 About Nebula Graph Studio 228 5.3 Deploy and connect 232 5.4 Quick start 237 5.5 Operation guide 248 6. Contributions 272 6.1 Contribute to Documentation 272 6.2 Cpp Coding Style 273 6.3 How to Contribute 274 6.4 Pull Request and Commit Message Guidelines 277 7. Appendix 278 7.1 Comparison Between Cypher and nGQL 278 - 2/304 - 2021 Vesoft Inc. Table of contents 7.2 Comparison Between Gremlin and nGQL 283 7.3 Comparison Between SQL and nGQL 298 7.4 Vertex Identifier and Partition 303 - 3/304 - 2021 Vesoft Inc. 1. Overview 1. Overview 1.1 About This Manual This is the Nebula Graph User Manual.
    [Show full text]
  • Mysql NDB Cluster 7.6 Community Release License Information User
    Licensing Information User Manual MySQL NDB Cluster 7.6.12 (and later) Table of Contents Licensing Information .......................................................................................................................... 2 Licenses for Third-Party Components .................................................................................................. 9 ANTLR 3 .................................................................................................................................... 9 argparse ................................................................................................................................... 10 Boost Library ............................................................................................................................ 11 Corosync .................................................................................................................................. 11 Cyrus SASL ............................................................................................................................. 12 dtoa.c ....................................................................................................................................... 13 Editline Library (libedit) ............................................................................................................. 13 Facebook Fast Checksum Patch ............................................................................................... 15 Facebook Patches ...................................................................................................................
    [Show full text]
  • Brackets Third Party Page (
    Brackets Third Party Page (http://www.adobe.com/go/thirdparty) "Cowboy" Ben Alman Copyright © 2010-2012 "Cowboy" Ben Alman Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. The Android Open Source Project Copyright (C) 2008 The Android Open Source Project All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
    [Show full text]
  • Project Skeleton for Scientific Software
    Computational Photonics Group Department of Electrical and Computer Engineering Technical University of Munich bertha: Project Skeleton for Scientific Software Michael Riesch , Tien Dat Nguyen , and Christian Jirauschek Department of Electrical and Computer Engineering, Technical University of Munich, Arcisstr. 21, 80333 Munich, Germany [email protected] Received: 10 December 2019 / Accepted: 04 March 2020 / Published: 23 March 2020 * Abstract — Science depends heavily on reliable and easy-to-use software packages, such as mathematical libraries or data analysis tools. Developing such packages requires a lot of effort, which is too often avoided due to the lack of funding or recognition. In order to reduce the efforts required to create sustainable software packages, we present a project skeleton that ensures the best software engineering practices from the start of a project, or serves as reference for existing projects. 1 Introduction In a recent essay in Nature [1], a familiar dilemma in science was addressed. On the one hand, science relies heavily on open-source software packages, such as libraries for mathematical operations, implementations of numerical methods, or data analysis tools. As a consequence, those software packages need to work reliably and should be easy to use. On the other hand, scientific software is notoriously underfunded and the required efforts are achieved as side projects or by the scientists working in their spare time. Indeed, a lot of effort has to be invested beyond the work on the actual implementation – which is typically a formidable challenge on its own. This becomes apparent from literature on software engineering in general (such as the influential “Pragmatic Programmer” [2]), and in scientific contexts in particular (e.g., [3–6]).
    [Show full text]
  • Product End User License Agreement
    End User License Agreement If you have another valid, signed agreement with Licensor or a Licensor authorized reseller which applies to the specific products or services you are downloading, accessing, or otherwise receiving, that other agreement controls; otherwise, by using, downloading, installing, copying, or accessing Software, Maintenance, or Consulting Services, or by clicking on "I accept" on or adjacent to the screen where these Master Terms may be displayed, you hereby agree to be bound by and accept these Master Terms. These Master Terms also apply to any Maintenance or Consulting Services you later acquire from Licensor relating to the Software. You may place orders under these Master Terms by submitting separate Order Form(s). Capitalized terms used in the Agreement and not otherwise defined herein are defined at https://terms.tibco.com/posts/845635-definitions. 1. Applicability. These Master Terms represent one component of the Agreement for Licensor's products, services, and partner programs and apply to the commercial arrangements between Licensor and Customer (or Partner) listed below. Additional terms referenced below shall apply. a. Products: i. Subscription, Perpetual, or Term license Software ii. Cloud Service (Subject to the Cloud Service Terms found at https://terms.tibco.com/?types%5B%5D=post&feed=recent#cloud-services) iii. Equipment (Subject to the Equipment Terms found at https://terms.tibco.com/?types%5B%5D=post&feed=recent#equipment-terms) b. Services: i. Maintenance (Subject to the Maintenance terms found at https://terms.tibco.com/?types%5B%5D=post&feed=recent#october-maintenance) ii. Consulting Services (Subject to the Consulting terms found at https://terms.tibco.com/?types%5B%5D=post&feed=recent#supplemental-terms) iii.
    [Show full text]
  • Product End User License Agreement
    End User License Agreement If you have another valid, signed agreement with Licensor or a Licensor authorized reseller which applies to the specific products or services you are downloading, accessing, or otherwise receiving, that other agreement controls; otherwise, by using, downloading, installing, copying, or accessing Software, Maintenance, or Consulting Services, or by clicking on "I accept" on or adjacent to the screen where these Master Terms may be displayed, you hereby agree to be bound by and accept these Master Terms. These Master Terms also apply to any Maintenance or Consulting Services you later acquire from Licensor relating to the Software. You may place orders under these Master Terms by submitting separate Order Form(s). Capitalized terms used in the Agreement and not otherwise defined herein are defined at https://terms.tibco.com/posts/845635-definitions. 1. Applicability. These Master Terms represent one component of the Agreement for Licensor's products, services, and partner programs and apply to the commercial arrangements between Licensor and Customer (or Partner) listed below. Additional terms referenced below shall apply. a. Products: i. Subscription, Perpetual, or Term license Software ii. Cloud Service (Subject to the Cloud Service terms) iii. Equipment (Subject to the Equipment terms) b. Services: i. Maintenance (Subject to the Maintenance terms) ii. Consulting Services (Subject to the Consulting terms) iii. Education and Training (Subject to the Training Restrictions and Limitations) c. Partners: i. Partners (Subject to the Partner terms) ii. Distribution, Reseller, and VAR Partner (Subject to the Partner Terms and Distributor/Reseller/VAR terms) iii. Developer and Solution/Technology Partner (Subject to the Partner Terms and Developer and Technology Partner terms) d.
    [Show full text]
  • Open Source Software List for Proficy Historian
    Open Source Software List for Proficy Historian 7.1 Open Source Software List In accordance with certain software license terms, the General Electric Company (“GE”) makes available the following software package installations. This code is provided to you on an “as is” basis, and GE makes no representations or warranties for the use of this code by you independent of any GE provided software or services. Refer to the licenses and copyright notices files for each package for any specific license terms that apply to each software bundle, associated with this product release. NOTE: These software package versions may change or be removed as needed for updates to this product. Open Source Software List for Proficy Historian 7.1 Software Name and Company Link License Name & Version Copyright Version (by Component) MIT License Agreement for Copyright © 2010-2014 AngularJS https://angularjs.org/ AngularJS https://casablanca.codeplex.c Apache License, Version 2.0 for Copyright © 2004 C++ REST SDK om/ C++REST SDK http://code.google.com/p/goo Apache License, Version 2.0 for Copyright © 2004 Google-gson gle-gson/ Google-gson Copyright © 2006-2009 Todd Apache License, Version 2.0 for Java Native Access https://github.com/twall/jna Fast, Timothy Wall, Wayne Java Native Access Meissner & others No copyright date given Creative Commons Legal Code Javascript Base64 https://creativecommons.org/ for Javascript Base64 Copyright © 2011, Tim Connell http://jquery.com GPL Version 2 for jQuery Print jQuery Print View Plugin View Plugin Copyright © 2018 General
    [Show full text]
  • Biodynamo: a New Platform for Large-Scale Biological Simulation
    Lukas Johannes Breitwieser, BSc BioDynaMo: A New Platform for Large-Scale Biological Simulation MASTER’S THESIS to achieve the university degree of Diplom-Ingenieur Master’s degree programme Software Engineering and Management submitted to Graz University of Technology Supervisor Ass.Prof. Dipl.-Ing. Dr.techn. Christian Steger Institute for Technical Informatics Advisor Ass.Prof. Dipl.-Ing. Dr.techn. Christian Steger Dr. Fons Rademakers (CERN) November 23, 2016 AFFIDAVIT I declare that I have authored this thesis independently, that I have not used other than the declared sources/resources, and that I have explicitly indicated all ma- terial which has been quoted either literally or by content from the sources used. The text document uploaded to TUGRAZonline is identical to the present master‘s thesis. Date Signature This thesis is dedicated to my parents Monika and Fritz Breitwieser Without their endless love, support and encouragement I would not be where I am today. iii Acknowledgment This thesis would not have been possible without the support of a number of people. I want to thank my supervisor Christian Steger for his guidance, support, and input throughout the creation of this document. Furthermore, I would like to express my deep gratitude towards the entire CERN openlab team, Alberto Di Meglio, Marco Manca and Fons Rademakers for giving me the opportunity to work on this intriguing project. Furthermore, I would like to thank them for vivid discussions, their valuable feedback, scientific freedom and possibility to grow. My gratitude is extended to Roman Bauer from Newcastle University (UK) for his helpful insights about computational biology detailed explanations and valuable feedback.
    [Show full text]
  • André Filipe Faria Dos Santos Mm M M M M
    ±±±±±±±±±±±±±±±±±±±±± ¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿ ssssss ss ss ss Ss sss mm m m m m mm 5ssss s 5555 ±±±±±±±±±±±±±±±±±±±±± ¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿ sss ss s ss s a as assas ssssss ss ss ss Ss sss mm m m m m mm ±¿¿¿¿¿±¿±±¿¿¿¿¿±¿¿±¿¿¿¿ sss s s s 5s s ss a as assas s ss s ssss s s ss s ss ss s s m m m m m o o m m m 5ssss s 5555 ACKNOWLEDGEMENTS I express my gratitude to my supervisors, Professor Alcino Cunha and Nuno Macedo. They main- tained a constant presence and guidance throughout the project, by reviewing my work, helping me stay on the right track, and pointing out possible routes and resources of relevance. Without their support I would have faced many more obstacles and dead ends along the way. I also thank my colleagues and members of HASLab who contributed to an inspirational work environment, reviewed parts of my work, or have otherwise been helpful. Last but not least, I thank my parents and Sofia for their personal support. They always listened to me, even though at times they did not fully understand what I talked about. ABSTRACT Software static analysis is a key component of formal software verification. It consists on inspecting code, using automated tools, to determine a set of relevant properties without executing the program. An example of such properties is the compliance with certain coding standards - sets of rules, subsets of the programming languages, defined to achieve high-quality software, minimizing risks and main- tenance costs. Some coding standards, such as MISRA C++ or HIC++, are highly adopted nowadays, in safety-critical systems with high reliability requirements.
    [Show full text]
  • Extra Clang Tools Documentation Release 8
    Extra Clang Tools Documentation Release 8 The Clang Team Aug 13, 2018 Contents 1 Extra Clang Tools 8.0.0 (In-Progress) Release Notes3 2 Contents 5 3 Doxygen Documentation 151 4 Indices and tables 153 i ii Extra Clang Tools Documentation, Release 8 Welcome to the clang-tools-extra project which contains extra tools built using Clang’s tooling API’s. Contents 1 Extra Clang Tools Documentation, Release 8 2 Contents CHAPTER 1 Extra Clang Tools 8.0.0 (In-Progress) Release Notes • Introduction • What’s New in Extra Clang Tools 8.0.0? – Major New Features – Improvements to clang-query – Improvements to clang-rename – Improvements to clang-tidy – Improvements to include-fixer – Improvements to modularize Written by the LLVM Team Warning: These are in-progress notes for the upcoming Extra Clang Tools 8 release. Release notes for previous releases can be found on the Download Page. 1.1 Introduction This document contains the release notes for the Extra Clang Tools, part of the Clang release 8.0.0. Here we describe the status of the Extra Clang Tools in some detail, including major improvements from the previous release and new feature work. All LLVM releases may be downloaded from the LLVM releases web site. For more information about Clang or LLVM, including information about the latest release, please see the Clang Web Site or the LLVM Web Site. Note that if you are reading this file from a Subversion checkout or the main Clang web page, this document applies to the next release, not the current one. To see the release notes for a specific release, please see the releases page.
    [Show full text]