Blog

This picture shows the Axivion Toolbox in white

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 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…

Read more
Headerbild Release 7.1.3 Axivion Suite

Release 7.1.3

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…

Read more
Headerbild Release 7.1.2 of Axivion Suite

Release 7.1.2

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…

Read more
Analysis of dynamic languages

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 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…

Read more

Release 7.1.1

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…

Read more

Release 7.1.0

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 includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles,…

Read more
Dieses Bild erklärt die Headline A simple error

A Simple Error: Safety, Security or both?

[by Dr. Sebastian Krings, Professional Services, R&D, Axivion GmbH] 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…

Read more
testing Programming Guides Blog Headerbild

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 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…

Read more
Headerbild Toolbox Axivion mit Coding Guidelines Schrift

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: 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…

Read more
Quality Headerbild vom Axivion Blog

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 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…

Read more
Industrial Software development Headerbild mit Axivion Toolbox

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 heroes“ feed in great new ideas? [by Dr. Daniel Simon, Head of Professional Services, Axivion GmbH] In general, creative people follow – maybe unconsciously –…

Read more
Headerbild Axivion Blog zu Virtual Reality Walk mit Axivion Toolbox

Virtual Reality Walk – die Software-Visualisierung von morgen

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…

Read more
Most Influential Paper Award Headerbild im Axivion Blog

Most Influential Paper Award

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…

Read more
How Software Architecture can becone a Game Changer

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.   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.  …

Read more

CodeCity

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…

Read more
Macros and Messages - Insider Knowledge by Axivion

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 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?…

Read more
Welcome to Axivion Blog Headline

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 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…

Read more