This website uses cookies to make the content more user-friendly and effective. By using this website, you agree to the use of cookies. You can find additonal information about the use of cookies and the possibility of objecting to the use of cookies here.

25 - 27 February 2020 // Nuremberg, Germany

Conferences and supporting programme

back to day overview
Session 6.4: Software Engineering III Software Quality I

Automating Code Reviews by Writing Your Own Program Analysis Rules Vortragssprache Englisch

Code reviews and the application of automated source code analysis tools are two standard processes to ensure software quality and security. While automated source code analysis, or static analysis, is an efficient means to inspect large amounts of software, it is typically limited to standard rules shipped by vendors of such tools. On the other hand, code reviews enable software development organisations to enforce project and company specific rules, but at the expense of often large and error-prone human effort. In this talk we present CodeXM, a novel description language to specify coding rules that can be enforced automatically by source code analysis tools. Developed by Synopsys, CodeXM provides a means to declaratively specify what to look for in source code without the detailed how. The how is left to the underlying static analysis execution engine and its capabilities. As such, CodeXM provides a readable interface to define static analysis rules that can be interpreted and evaluated automatically. We explain CodeXM through a number of examples obtained from common embedded and automotive software projects. In particular, we show the power of CodeXM by express concepts far beyond simple pattern matching, including those of path-based cross-file precision analysis when combined with the Coverity static analysis execution engine. As a result, it enables quality and security mangers for the first time to specify and automatically enforce deep semantic coding guidelines

--- Date: 27.02.2019 Time: 17:00 - 17:30 Location: Conference Counter NCC Ost

Main speaker


The selected entry has been placed in your favourites!

If you register you can save your favourites permanently and access all entries even when underway – via laptop or tablet.

You can register an account here to save your settings in the Exhibitors and Products Database and as well as in the Supporting Programme.The registration is not for the TicketShop and ExhibitorShop.

Register now

Your advantages at a glance:

  • Advantage Save your favourites permanently. Use the instant access – mobile too, anytime and anywhere – incl. memo function.
  • Advantage The optional newsletter gives you regular up-to-date information about new exhibitors and products – matched to your interests.
  • Advantage Call up your favourites mobile too! Simply log in and access them at anytime.