Frohe Feiertage!
Es war ein ereignisreiches Jahr für uns bei Axivion. Nach Monaten im Homeoffice hatten wir endlich die Gelegenheit, uns wieder persönlich zu treffen – mit Kunden und Kollegen – was…
Es war ein ereignisreiches Jahr für uns bei Axivion. Nach Monaten im Homeoffice hatten wir endlich die Gelegenheit, uns wieder persönlich zu treffen – mit Kunden und Kollegen – was…
Dr. Daniel Simon, Head of Professional Services bei Axivion, beantwortet Kundenfragen zum Thema DevOps und Continuous Integration: Warum setzt moderne Softwareentwicklung zunehmend auf CI / DevOps?” „Automatisieren was automatisierbar ist.“…
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…
How much is the {…}? [by Dr. Daniel Simon, Head of Professional Services at Axivion] If you work on a software project with safety and/or security background, you will…
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…
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,…
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…
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…
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…
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:…
[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…
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…
Wühlen Sie sich noch immer durch Berge von Quelltext, wenn Sie Software verstehen wollen? Wie wäre es, wenn Sie stattdessen durch sie hindurchspazieren könnten wie durch eine Stadt? Vielleicht treffen…
Professor Dr. rer. nat. Rainer Koschke war Gründungsmitglied der Bauhaus-Forschungsgruppe an der Universität Stuttgart und ist Mitgründer, Gesellschafter und Mitarbeiter der Axivion GmbH. Als Professor für Softwaretechnik an der Universität…
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…