Loading...
Please wait, while we are loading the content...
Similar Documents
Challenges in Comparing Software Analysis Tools for C
| Content Provider | Semantic Scholar |
|---|---|
| Author | Merz, Florian Sinz, Carsten Falke, Stephan |
| Copyright Year | 2012 |
| Abstract | Comparing different software verification or bug-finding tools for C programs can be a difficult task. Problems arise from different kinds of properties that different tools can check, restrictions on the input programs accepted, lack of a standardized specification language for program properties, or different interpretations of the programming language semantics. In this discussion paper we describe problem areas and discuss possible solutions. The paper also reflects some lessons we have learned from participating with our tool LLBMC in the TACAS 2012 Competition on Software Verification (SV-COMP 2012). |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://baldur.iti.kit.edu/~falke/papers/COMPARE12.pdf |
| Alternate Webpage(s) | http://baldur.iti.uka.de/~falke/papers/COMPARE12.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |