A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
Optimizing a Structural Constraint Solver for Efficient Software Checking
2009
2009 IEEE/ACM International Conference on Automated Software Engineering
Several static analysis techniques, e.g., symbolic execution or scope-bounded checking, as well as dynamic analysis techniques, e.g., specification-based testing, use constraint solvers as an enabling technology. To analyze code that manipulates structurally complex data, the underlying solver must support structural constraints. Solving such constraints can be expensive due to the large number of aliasing possibilities that the solver must consider. This paper presents a novel technique to
doi:10.1109/ase.2009.52
dblp:conf/kbse/SiddiquiMK09
fatcat:ddelfk7oizbfxiyn4amexmosiu