Blog

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
Dieses Bild zeigt die Axivion Suite Toolbox für Release 7.1.0

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

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 places in code as an “issue” and to report it accordingly. As you should always test your code – you also have to test the…

Read more
Headerbild Toolbox Axivion mit Coding Guidelines Schrift

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 rule sets as such are well written and are free from flaws in phrasing. Therefore, they are an excellent starting point for creating your own…

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…

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
Most Influential Paper Award Headerbild im Axivion Blog

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 a professor of software engineering at the University of Bremen, he researches topics related to the analysis of software and software architecture and is currently…

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
Axivion Blog Headerbild Code City

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