https://github.com/christoffer-nylen/asis-debug-tool
Identifies suitable ASIS queries by testing them on each ASIS element of a given Ada95 program.
https://github.com/christoffer-nylen/asis-debug-tool
ada ada95 asis asis-for-gnat static-analysis
Last synced: 12 days ago
JSON representation
Identifies suitable ASIS queries by testing them on each ASIS element of a given Ada95 program.
- Host: GitHub
- URL: https://github.com/christoffer-nylen/asis-debug-tool
- Owner: christoffer-nylen
- Created: 2018-12-01T14:28:18.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-12-01T14:29:19.000Z (over 7 years ago)
- Last Synced: 2023-06-03T01:27:32.141Z (about 3 years ago)
- Topics: ada, ada95, asis, asis-for-gnat, static-analysis
- Language: Ada
- Homepage:
- Size: 69.3 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0