https://github.com/flisboac/adl
Abstract Domain Library, a C++ library implementing the octagon domain in CPU and GPU. (may add more abstract domains in the future!)
https://github.com/flisboac/adl
abstract-domain adl gpu library octagon-domain static-analysis
Last synced: over 1 year ago
JSON representation
Abstract Domain Library, a C++ library implementing the octagon domain in CPU and GPU. (may add more abstract domains in the future!)
- Host: GitHub
- URL: https://github.com/flisboac/adl
- Owner: flisboac
- License: mit
- Created: 2016-10-17T01:00:01.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2018-08-27T03:49:15.000Z (almost 8 years ago)
- Last Synced: 2024-04-16T18:27:29.796Z (about 2 years ago)
- Topics: abstract-domain, adl, gpu, library, octagon-domain, static-analysis
- Language: C++
- Size: 735 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 28