Projects in Awesome Lists tagged with abstract-domain
A curated list of projects in awesome lists tagged with abstract-domain .
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!)
abstract-domain adl gpu library octagon-domain static-analysis
Last synced: 30 Mar 2025
https://github.com/sim642/bsc-thesis
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
abstract-domain abstract-interpretation bachelor-thesis bsc-thesis data-flow-analysis estonian estonian-language property-based-testing static-analysis static-code-analysis thesis thesis-paper
Last synced: 04 Apr 2025
