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…
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…
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…
Testet die Tests: Testfälle für Programmiervorgaben
Die Implementierung der automatischen Prüfung von Programmiervorgaben ist Code; im Falle der Axivion Suite häufig Python Code, der die APIs der Axivion Suite nutzt, um bestimmte Stellen im Code zu…
Coding Guidelines – öffentlich verfügbare vs. eigene Regeln
Frage: Sollte man sich bei der Erstellung eigener Coding Guidelines eher auf die öffentlich verfügbaren Werke stützen (z.B. Misra C/C++, AutoSAR C++, CERT, o.ä.) als eigene Regeln zu erfinden? Antwort:…
Professional View on “Quality”?
[by Dr. Daniel Simon, Head of Professional Services, Axivion GmbH] There are many definitions of the term quality. On one hand, we have the common sense definitions of “high quality…
Industrial Software Development: Engineering vs Artistry
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…