Download smg JAR file with all dependencies
smg from group cz.afri (version 1.0)
SMG is a Java library implementing the abstract domain of symbolic memory graphs. The library is supposed to be used by static analyzers for C programs, especially those that need to deal with pointer-rich programs and those working with unbounded dynamic data structures.
0 downloads
Artifact smg
Group cz.afri
Version 1.0
Last update 20. October 2015
Organization not specified
URL https://github.com/petr-muller/smg
License The Apache License, Version 2.0
Dependencies amount 2
Dependencies guava, annotations,
There are maybe transitive dependencies!
Group cz.afri
Version 1.0
Last update 20. October 2015
Organization not specified
URL https://github.com/petr-muller/smg
License The Apache License, Version 2.0
Dependencies amount 2
Dependencies guava, annotations,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)