Dr. Daniel Simon, Head of Professional Services at Axivion answers some of the most frequently asked questions regarding DevOps and Continuous Integration: Why does modern software development increasingly rely…
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…
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…
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…
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…
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…
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…
[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…
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´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´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…
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…
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´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…
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…
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…
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…
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…
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…
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…
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…
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.…
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…
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…