reprogrammer / keshmesh

Keshmesh is a static analysis tool for finding and fixing concurrency bug patterns in Java.
http://keshmesh.cs.illinois.edu/
Other
16 stars 5 forks source link

Report the number of CGNodes for different class loaders #66

Closed reprogrammer closed 10 years ago

reprogrammer commented 10 years ago

Keshmesh currently reports the total number of CGNodes. It would be nice to have it also report the number of CGNodes of different kinds: Primordial, Extension, Application, as listed in com.ibm.wala.types.ClassLoaderReference.