An open API service indexing awesome lists of open source software.

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!)

Awesome Lists containing this project