StInG | A linear invariant generator using Farkas Lemma. This code here was used to generate the data reported in our Static Analysis Symposium, 2004 paper. As of now we are making the linux 2.x ix86 binaries and the examples available. If you are using the examples in this paper, we ask that you cite our paper along with the FAST paper. |
LpInv | A linear invariant generator using Linear Programming. This code here was used to generate the data reported in our VMCAI 2005 paper. As of now we are making the source code and the examples available. |