Algorithms ad Tools The implementation of static analysis eventually boils down to constraint solving. We will aim at adapting general tools which are already available rather than performing ad hoc developments of new tools. As we extend analysis techniques to cope with larger languages, we may also need to extend the state-of-the-art in constraint solving.

Documents

	Thomas Jensen. Iteration-based fixed point algorithms. SECSAFE-IRISA-003. Mikael Buchholtz, Hanne Riis Nielson and Flemming Nielson. Experiments with Succint Solvers. SECSAFE-IMM-002. ( .pdf) Henrik Pilegaard. Flow-Logic based Program Analysis - The Succint Solver v2.0 vs. XSB Prolog v2.6. SECSAFE-IMM-008. Internal. Hongyan Sun, Hanne Riis Nielson and Flemming Nielson. Extended Features of the Succint Solver (V2.0). SECSAFE-IMM-009. ( .pdf)