AXIVION SUITE Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in C, C++ and C#. In addition to static code analysis, the tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code…
Abstract — Ensuring reliability and quality of software has become a necessity. This is especially true for safety critical systems. To do so, different techniques have been established in industry and academia. For instance, coding standards such as the MISRA ruleset or the AutosarC++14 ruleset have been developed. Additionally, software testing, static analysis and even…
AXIVION SUITE Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in C, C++ and C#. In addition to static code analysis, the tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code…
If you work on a software project with safety and/or security background, you will have to use some sort of programming guide. In automotive industry, MISRA and Autosar C++14 standards are widely used, and therefore other industries also take these standards as a starting point for defining best practise rules. When you are not “forced”…
Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in C, C++ and C#. In addition to static code analysis, the tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code and violations…
[by Dr. Daniel Simon, Head of Professional Services at Axivion] For use in Safety or Security, a range of Standard Programming Guides is available. In automotive industry, MISRA and AUTOSAR C++14 standards are widely used. While covering many different aspects, the standards leave it up to the user to define additional project or company…
Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in C, C++ and C#. In addition to static code analysis, the tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code and violations…
Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in C, C++ and C#. In addition to static code analysis, the tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code and violations…
Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in C, C++ and C#. In addition to static code analysis, the tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code and violations…
In cooperation with our research partners in academia, we offered a bachelor thesis in the field of program analysis at Heinrich-Heine-University Düsseldorf. The recently finished thesis of a Bachelor student who was supervised by Axivion investigated static analysis of Python programs by creating a program dependency graph. Features like “late bound everything”, “monkey patching”, missing…
Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in C, C++ and C#. In addition to static code analysis, the tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code and violations…
Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in C, C++ and C#. In addition to static code analysis, the tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code and violations…
Aside from safety properties, can static analysis tools be used to detect security issues? Yes, as we will show by discussing a programming error in uftpd, an ftp server implemented in C. In particular, we will show how the error influences both safety as well as security and under which conditions it can be exploited. Furthermore,…
The implementation of an automatic coding guidelines check produces code; in the case of the Axivion Suite mostly Python code that makes use of Axivion Suite’s API, to flag certain places in code as an “issue” and to report it accordingly. As you should always test your code – you also have to test the…
Question: When introducing customized coding guidelines, shoud you rather use established, publicly available rule sets (e.g., Misra C/C++, AutoSAR C++, CERT, …) than invent “your own” rules? Answer: The standard rule sets as such are well written and are free from flaws in phrasing. Therefore, they are an excellent starting point for creating your own…
There are many definitions of the term quality. On one hand, we have the common sense definitions of “high quality products”, for example, an expensive wristwatch, a fast and impressive sports car, a giant meal (“all you can eat”). The downside to this view on quality is the subjective judgement of the characteristics of the…
Is software development a boring, purely facts and figures based, rigid and sometimes painful undertaking? Where is the fun in it? Where does creativity fit in? How can the “software heroes” feed in great new ideas? [by Dr. Daniel Simon, Head of Professional Services, Axivion GmbH] In general, creative people follow – maybe unconsciously…
Do you still dig through mountains of source code when you want to understand software? What if you could walk through it like a city instead? Maybe you meet one of your colleagues there. He’s actually sitting in an office 1000 km away from you, and he can tell you a little bit about the…
Professor Dr. rer. nat. Rainer Koschke was a founding member of the Bauhaus Research Group at the University of Stuttgart and is co-founder, shareholder and employee of Axivion GmbH. As a professor of software engineering at the University of Bremen, he researches topics related to the analysis of software and software architecture and is currently…
Dr. Daniel Simon, Head of Professional Services at Axivion explains in his lecture at Embedded World 2019 “How Software Architecture becomes a Game Changer”. To see the entire lecture including slides, please click here. If you have any questions regarding the lecture, your software architecture or our Axivion Suite in general, please do not hesitate to contact our experts on the link below. …
Take out your cardboard or VR glasses and get an insight into an example of how your software code could be overflown and tested in the future. Axivion GmbH and University Bremen proudly present a 3D 360° video showing the Linux subsystem Network in six different codecity variants. The buildings are files whose width, depth, height, and…
Macros and Messages In static analysis of C/C++ programs, it’s quite certain to come across both: Warnings found by the static analysis and the use of macros in the analysed source code. Things start to get interesting when both come together: Who caused the warning, the macro alone or its use in a certain context?…
We are proudly presenting our AxivionBlog to you today. Here you will regularly find the latest information and tips on static code analysis, the entire embedded software scene and of course all Axivion products and services. #staycurious If you do have any questions regarding our Blog or Axivion Suite, please do not hesitate to contact us…