Flowdroid | Org.alloytools.alloy | |
---|---|---|
Stars | 957 | 659 |
Downloads | ||
Dependent Packages | 4 | |
Dependent Repos | ||
Most Recent Commit | 4 months ago | 5 months ago |
Total Releases | 2 | |
Latest Release | July 06, 2023 | |
Open Issues | 211 | 38 |
License | lgpl-2.1 | other |
Programming Language | Java | Java |