Ecosyste.ms: Awesome

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

https://github.com/xlauko/lart-runtime

abstract-interpretation c c-plus-plus clang llvm sanitizer verification

Last synced: 1 day ago
JSON representation

LART Runtime Support Library

Host: GitHub
URL: https://github.com/xlauko/lart-runtime
Owner: xlauko
License: mit
Created: 2020-05-11T20:50:24.000Z (over 4 years ago)
Default Branch: master
Last Pushed: 2020-05-26T21:47:27.000Z (over 4 years ago)
Last Synced: 2024-04-27T16:52:34.538Z (7 months ago)
Topics: abstract-interpretation, c, c-plus-plus, clang, llvm, sanitizer, verification
Language: C++
Homepage:
Size: 74.2 KB
Stars: 0
Watchers: 3
Forks: 0
Open Issues: 16