Happy Holidays!
It’s been an eventful year for us at Axivion. After months of remote work only, we finally got the chance to meet again in person – with customers and colleagues…
Read more
Best Wishes from Axivion
The entire Axivion team wishes you, our customers, partners and friends worldwide, a Merry Christmas and a Happy New Year. Thank you for your loyalty and great cooperation in 2021.…
Static Code Analysis in the Context of DevOps and Continuous Integration
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…
Latest Release
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…
Release 7.2.0
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…
Testing, Model Checking and Static Analysis – Dream Team or Rivals?
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…
Release 7.1.6
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…
How much is 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 Suite Release 7.1.5
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…
Coding Guidelines How-To +++ First Thoughts
[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…
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…
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…
Virtual Reality Walk – the Software-Visualisation of tomorrow
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…
Most Influential Paper Award
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…
How Software Architecture becomes a Game Changer
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
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…
Welcome to our Blog
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…