CPAlien: Configurable Program Analysis over Symbolic Memory Graphs

Authors:Müller Petr, Vojnar Tomáš
Type:software
Created:2013
Licence:required - no fee
Keywords:cpachecker, symbolic memory graphs, program verification, C language, static analysis
Description:
CPAlien is a tool for verifying programs written in C language, manipulating with dynamic data structures. It is an instance of the Configurable Program Analysis based on the Symbolic Memory Graph formalism. The tool is implemented using the CPAChecker framework, developed and provided by University of Passau.
Location:
http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien
Research groups:
Departments:
Licence terms:
http://www.apache.org/licenses/LICENSE-2.0.html

Your IPv4 address: 54.81.6.121
Switch to IPv6 connection

DNSSEC [dnssec]