Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/cbyad/static-analyser
Static Analyser by abstract interpretation for a C like language. Last year Master class project at UPMC (2018) made in OCAML
https://github.com/cbyad/static-analyser
Last synced: about 1 month ago
JSON representation
Static Analyser by abstract interpretation for a C like language. Last year Master class project at UPMC (2018) made in OCAML
- Host: GitHub
- URL: https://github.com/cbyad/static-analyser
- Owner: cbyad
- Created: 2019-02-24T12:55:54.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2019-02-24T13:15:22.000Z (almost 6 years ago)
- Last Synced: 2023-03-01T12:33:31.000Z (almost 2 years ago)
- Language: HTML
- Homepage:
- Size: 130 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0