de.rwth.i2:attestor (maven): A verification tool for model-checking Java pointer programs based on context-free graph grammars.
Keywords: heap|model-checking|research|static-analyzer|static-code-analysis