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 tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code…
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 tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code…
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 and academia. For instance, coding standards such as the MISRA ruleset or the AutosarC++14 ruleset have been developed. Additionally, software testing, static analysis and even…
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 tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code…
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 have to use some sort of programming guide. In automotive industry, MISRA and Autosar C++14 standards are widely used, and therefore other industries also take…
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 tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code…
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, the standards leave it up to the user to define additional project or company specific rules. As a first example, consider „Naming Conventions“. Before actually…
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 includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code 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 includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code and violations…
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 includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code and violations…
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 who was supervised by Axivion investigated static analysis of Python programs by creating a program dependency graph. Features like „late bound everything“, „monkey patching“, missing…
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 includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code and violations…
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 includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code and violations…
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 C. In particular, we will show how the error influences both safety as well as security and under which conditions it can be exploited. Furthermore,…
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 identifizieren und als „Issue“ zu melden. Man sollte jeden Code testen – so auch die Programmiervorgaben. Also stellt sich die Frage: Wie schreibt man am besten…
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: Die „Standard“ Regelwerke also solche sind gut formuliert und weitgehend frei von handwerklichen Schwächen bei der Forumlierung. Damit sind sie ein guter Ausgangspunkt für ein…
[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 products“, for example, an expensive wristwatch, a fast and impressive sports car, a giant meal (“all you can eat”). The downside to this view on…
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 heroes“ feed in great new ideas? In general, creative people follow – maybe unconsciously – a process (cf. [Funk08]): Preparation: make yourself…
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 Sie sich dort mit einem Ihrer Kollegen. Der sitzt eigentlich in einem Büro 1000 km von Ihnen entfernt, und er kann Ihnen ein wenig über…
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 Bremen erforscht er Themen rund um die Analyse von Software und Software-Architektur und arbeitet aktuell an der Visualisierung von Software-Architektur. Wir freuen uns mit ihm…
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. If you have any questions regarding the lecture, your software architecture or our Axivion Suite in general, please do not hesitate to contact our experts on the link below. …
Take out your cardboard or VR glasses and get an insight into an example of how your software code could be overflown and tested in the future. Axivion GmbH and University Bremen proudly present a 3D 360° video showing the Linux subsystem Network in six different codecity variants. The buildings are files whose width, depth, height, and…
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 source code. Things start to get interesting when both come together: Who caused the warning, the macro alone or its use in a certain context?…
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 course all Axivion products and services. #staycurious If you do have any questions regarding our Blog or Axivion Suite, please do not hesitate to contact us…