sDPN is a library for program analyses based on dynamic pushdown networks, that is networks of pushdown automata that can spawn new automata and communicate via locks.
The project consists of the following components:
Contains the main analysis, including DPN representation, translation to tree automata, emptiness checks and more.
Contains the Java Bytecode frontend based on the WALA.
Contains an eclipse plugin for data race detection in Java programs.
Contains a GUI to explore counterexamples obtained for invalid properties.
Contains an alternative analysis backend based on parallel flow graphs.
Contains a set of example Java applications for test purposes.