Download or read book Robust Graph Based Static Code Analysis written by Samuel Hopstock and published by GRIN Verlag. This book was released on 2019-11-14 with total page 59 pages. Available in PDF, EPUB and Kindle. Book excerpt: Bachelor Thesis from the year 2019 in the subject Computer Science - IT-Security, grade: 1,0, Technical University of Munich (Fakultät für Informatik), language: English, abstract: The topic of this thesis is to develop a graph-based static analysis framework for Java code that tolerates incomplete or non-compiling source code. For this purpose, the concept of Code Property Graphs (CPGs) is to be researched and extended, in order to provide information about more complex erroneous patterns in Java source code. Additionally, an evaluation of the resulting graph model is to be performed, by searching for cryptographic vulnerabilities in publicly available Java projects. This evaluation needs to show, whether this graph-based analysis approach is capable of finding security issues in Java code, and how feasible the analysis is from a performance point of view. Automatic code analysis is a widely used technique to find and eliminate errors in software projects. Instead of executing the program and verify that its behavior is correct, as dynamic analysis does it, static analysis is applied on its source code. Here, we search for suspicious patterns that are likely to indicate erroneous behavior. A special type of software bugs are those errors, that lead to security vulnerabilities. In this case, attackers may be able to undermine fundamental security aspects, by exfiltrating sensitive user data from server applications or assume control over the machine running the program in question. Security vulnerabilities in the code can have drastic consequences, which is why it is important to identify them as fast as possible and fix them immediately afterwards. This thesis extends the concept of Code Property Graphs (CPGs), which has been proposed for static analysis of C/C++ code, to be applied on programs and incomplete code snippets written in Java. Unifying Abstract Syntax Trees (ASTs), Control Flow Graphs (CFGs) and Data Flow Graphs (DFGs) in a single datastructure, this approach enables searching for vulnerabilities whose code patterns are spread out across the boundaries of single methods and classes. These patterns are identified using the graph query language cypher, which is provided by the graph database Neo4j. In an evaluation run on 100 public repositories on GitHub using cryptography, 135 findings of cryptographic API misuse have been identified using this technique. These include the use of insecure algorithms, like the Data Encryption Standard (DES) or Electronic Code Book mode (ECB), and hardcoded passwords that are used for encryption purposes. This thesis has been created in cooperation with Fraunhofer AISEC
Download or read book Incremental Construction of Code Property Graphs written by Samuel Hopstock and published by GRIN Verlag. This book was released on 2021-11-17 with total page 60 pages. Available in PDF, EPUB and Kindle. Book excerpt: Master's Thesis from the year 2021 in the subject Computer Science - IT-Security, grade: 2,0, Technical University of Munich (Department of Informatics), language: English, abstract: This thesis extends a modified CPG approach that is able to operate on multiple programming languages, i.e. C/C++, Java, Python and Golang, available on GitHub3 [Fra21a]. Graph-based code analysis systems are versatile tools for reasoning about the correctness of complex software projects. One area in which they are widely used is in source code auditing: Security vulnerabilities, for example using cryptographic functions with insecure algorithms, can be introduced by coding patterns that spread over the boundaries of several methods, classes or even files in the project. This is where graph-based analysis makes finding these vulnerabilities easier, by creating a framework where the source code can be represented as a graph and vulnerable
Download or read book Efficient Graph based Computing and Analytic written by Bingbing Rao and published by . This book was released on 2022 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: With data explosion in many domains, such as social media, big code repository, Internet of Things (IoT), and inertial sensors, only 32% of data available to academic and industry is put to work, and the remaining 68% goes unleveraged. Moreover, people are facing an increasing number of obstacles concerning complex analytics on the sheer size of data, which include 1) how to perform dynamic graph analytics in a parallel and robust manner within a reasonable time? 2) How to conduct performance optimizations on a property graph representing and consisting of the semantics of code, data, and runtime systems for big data applications? 3) How to innovate neural graph approaches (i.e., Transformer) to solve realistic research problems, such as automated program repair and inertial navigation? To tackle these problems, I present two efforts along this road: efficient graph-based computation and intelligent graph analytics. Specifically, I firstly propose two theory-based dynamic graph models to characterize temporal trends in large social media networks, then implement and optimize them atop Apache Spark GraphX to improve their performances. In addition, I investigate a semantics-aware optimization framework consisting of offline static analysis and online dynamic analysis on a property graph representing the skeleton of a dataintensive application, to interactively and semi-automatically assist programmers to scrutinize the performance problems camouflaged in the source code. In the design of intelligent graph-based algorithms, I innovate novel neural graph-based approaches with multi-task learning techniques to repair a broad range of programming bugs automatically, and also improve the accuracy of pedestrian navigation systems in only consideration of sensor data of Inertial Measurement Units (IMU, i.e.accelerometer, gyroscope, and magnetometer). In this dissertation, I elaborate on the definitions of these research problems and leverage the knowledge of graph computation, program analysis, and deep learning techniques to seek solutions to them, followed by comprehensive comparisons with the state-of-the-art baselines and discussions on future research.
Download or read book Designing Engineering and Analyzing Reliable and Efficient Software written by Singh, Hardeep and published by IGI Global. This book was released on 2013-02-28 with total page 352 pages. Available in PDF, EPUB and Kindle. Book excerpt: Due to the role of software systems in safety-critical applications and in the satisfaction of customers and organizations, the development of efficient software engineering is essential. Designing, Engineering, and Analyzing Reliable and Efficient Software discusses and analyzes various designs, systems, and advancements in software engineering. With its coverage on the integration of mathematics, computer science, and practices in engineering, this book highlights the importance of ensuring and maintaining reliable software and is an essential resource for practitioners, professors and students in these fields of study.
Download or read book Reliable Software Technologies Ada Europe 2008 written by Fabrice Kordon and published by Springer Science & Business Media. This book was released on 2008-06-03 with total page 294 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008. The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.
Download or read book Network and System Security written by Li Xu and published by Springer. This book was released on 2012-11-19 with total page 544 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 6th International Conference on Network and System Security, NSS 2012, held in Wuyishan, Fujian, China, in November 2012. The 39 revised full papers presented were carefully reviewed and selected from 173 submissions. The papers cover the following topics: network security, system security, public key cryptography, privacy, authentication, security analysis, and access control.
Download or read book Managing and Mining Graph Data written by Charu C. Aggarwal and published by Springer Science & Business Media. This book was released on 2010-02-02 with total page 623 pages. Available in PDF, EPUB and Kindle. Book excerpt: Managing and Mining Graph Data is a comprehensive survey book in graph management and mining. It contains extensive surveys on a variety of important graph topics such as graph languages, indexing, clustering, data generation, pattern mining, classification, keyword search, pattern matching, and privacy. It also studies a number of domain-specific scenarios such as stream mining, web graphs, social networks, chemical and biological data. The chapters are written by well known researchers in the field, and provide a broad perspective of the area. This is the first comprehensive survey book in the emerging topic of graph data processing. Managing and Mining Graph Data is designed for a varied audience composed of professors, researchers and practitioners in industry. This volume is also suitable as a reference book for advanced-level database students in computer science and engineering.
Download or read book Software Technology written by Mike Hinchey and published by John Wiley & Sons. This book was released on 2018-07-09 with total page 384 pages. Available in PDF, EPUB and Kindle. Book excerpt: A comprehensive collection of influential articles from one of IEEE Computer magazine’s most popular columns This book is a compendium of extended and revised publications that have appeared in the “Software Technologies” column of IEEE Computer magazine, which covers key topics in software engineering such as software development, software correctness and related techniques, cloud computing, self-managing software and self-aware systems. Emerging properties of software technology are also discussed in this book, which will help refine the developing framework for creating the next generation of software technologies and help readers predict future developments and challenges in the field. Software Technology provides guidance on the challenges of developing software today and points readers to where the best advances are being made. Filled with one insightful article after another, the book serves to inform the conversation about the next wave of software technology advances and applications. In addition, the book: Introduces the software landscape and challenges associated with emerging technologies Covers the life cycle of software products, including concepts, requirements, development, testing, verification, evolution, and security Contains rewritten and updated articles by leaders in the software industry Covers both theoretical and practical topics Informative and thought-provoking throughout, Software Technology is a valuable book for everyone in the software engineering community that will inspire as much as it will teach all who flip through its pages.
Download or read book Recent Advances in Data Science written by Henry Han and published by Springer Nature. This book was released on 2020-09-28 with total page 295 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes selected papers of the Third International Conference on Data Science, Medicine and Bioinformatics, IDMB 2019, held in Nanning, China, in June 2019. The 19 full papers and 1 short paper were carefully reviewed and selected from 93 submissions. The papers are organized according to the following topical sections: business data science: fintech, management, and analytics.- health and biological data science.- novel data science theory and applications.
Download or read book Reliable Software Technologies Ada Europe 2016 written by Marko Bertogna and published by Springer. This book was released on 2016-05-30 with total page 217 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016. The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and real-time systems.
Download or read book Robust Python written by Patrick Viafore and published by "O'Reilly Media, Inc.". This book was released on 2021-07-12 with total page 365 pages. Available in PDF, EPUB and Kindle. Book excerpt: Does it seem like your Python projects are getting bigger and bigger? Are you feeling the pain as your codebase expands and gets tougher to debug and maintain? Python is an easy language to learn and use, but that also means systems can quickly grow beyond comprehension. Thankfully, Python has features to help developers overcome maintainability woes. In this practical book, author Patrick Viafore shows you how to use Python's type system to the max. You'll look at user-defined types, such as classes and enums, and Python's type hinting system. You'll also learn how to make Python extensible and how to use a comprehensive testing strategy as a safety net. With these tips and techniques, you'll write clearer and more maintainable code. Learn why types are essential in modern development ecosystems Understand how type choices such as classes, dictionaries, and enums reflect specific intents Make Python extensible for the future without adding bloat Use popular Python tools to increase the safety and robustness of your codebase Evaluate current code to detect common maintainability gotchas Build a safety net around your codebase with linters and tests
Download or read book Reliable Software Technologies Ada Europe 2006 written by Luís Miguel Pinho and published by Springer Science & Business Media. This book was released on 2006-05-26 with total page 252 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada-Europe 2006, held in Porto, Portugal, in June 2006. The 19 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on real-time systems, static analysis, verification, applications, reliability, compilers, and distributed systems.
Download or read book Digital Transformation written by Birgit Vogel-Heuser and published by Springer Nature. This book was released on 2023-02-02 with total page 522 pages. Available in PDF, EPUB and Kindle. Book excerpt: Digital Transformation in Industry 4.0/5.0 requires the effective and efficient application of digitalization technologies in the area of production systems. This book elaborates on concepts, techniques, and technologies from computer science in the context of Industry 4.0/5.0 and demonstrates their possible applications. Thus, the book serves as an orientation but also as a reference work for experts in the field of Industry 4.0/5.0 to successfully advance digitization in their companies.
Download or read book Malware Detection written by Mihai Christodorescu and published by Springer Science & Business Media. This book was released on 2007-03-06 with total page 307 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book captures the state of the art research in the area of malicious code detection, prevention and mitigation. It contains cutting-edge behavior-based techniques to analyze and detect obfuscated malware. The book analyzes current trends in malware activity online, including botnets and malicious code for profit, and it proposes effective models for detection and prevention of attacks using. Furthermore, the book introduces novel techniques for creating services that protect their own integrity and safety, plus the data they manage.
Download or read book Reliable Software Technologies Ada Europe 2004 written by Albert Llamosi and published by Springer Science & Business Media. This book was released on 2004-06 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 9th International Conference on Reliable Software Technologies, Ada-Europe 2004, held in Palma de Mallorca, Spain in June 2004. The 23 revised full papers presented together with 3 invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on static analysis, distributed systems, real-time systems, reflection and XML, testing, critical systems modeling, scheduling, and application programming interfaces.
Download or read book New Trends in Intelligent Software Methodologies Tools and Techniques written by H. Fujita and published by IOS Press. This book was released on 2017-09-07 with total page 852 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software is an essential enabler for science and the new economy. It creates new markets and directions for a more reliable, flexible and robust society and empowers the exploration of our world in ever more depth, but it often falls short of our expectations. Current software methodologies, tools, and techniques are still neither robust nor reliable enough for the constantly evolving market, and many promising approaches have so far failed to deliver the solutions required. This book presents the keynote ‘Engineering Cyber-Physical Systems’ and 64 peer-reviewed papers from the 16th International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques, (SoMeT_17), held in Kitakyushu, Japan, in September 2017, which brought together researchers and practitioners to share original research results and practical development experience in software science and related new technologies. The aim of the SoMeT conferences is to capture the essence of the new state-of-the-art in software science and its supporting technology and to identify the challenges such technology will have to master. The book explores new trends and theories which illuminate the direction of developments in this field, and will be of interest to anyone whose work involves software science and its integration into tomorrow’s global information society.
Download or read book Quality Reliability Security and Robustness in Heterogeneous Networks written by Karan Singh and published by Springer. This book was released on 2013-07-04 with total page 1027 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2013, which was held in National Capital Region (NCR) of India during January 2013. The 87 revised full papers were carefully selected from 169 submissions and present the recent technological developments in broadband high-speed networks, peer-to-peer networks, and wireless and mobile networks.