Release 7.1.4
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…
Release 7.1.3
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…
Axivion Suite Release 7.1.2
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…
Guessing what may be: Static Analysis of Dynamic Languages
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…
Release 7.1.1
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…
Axivion Suite Release 7.1.0
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…
A Simple Error: Safety, Security or both?
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…
Test the tests: test cases for programming specifications
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…
Coding Guidelines – publicly available vs. own rules
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…
Professional View on “Quality”?
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…