Skip to content
This repository has been archived by the owner on Jul 8, 2021. It is now read-only.

CROSSINGTUD/SPDS

About

Efficient and Precise Pointer-Tracking Data-Flow Framework

Topics

java static-analysis pushdown-automaton points-to-analysis weighted-pushdown-systems typestate-analysis

Resources

Readme

License

EPL-2.0 license
Activity
Custom properties

Stars

38 stars

Watchers

9 watching

Forks

39 forks
Report repository

Releases 1

2.1 Latest
Apr 8, 2019

Packages

No packages published

Contributors 9

Languages