Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for datalog pointer analysis
datalog
x
pointer-analysis
x
4 search results found
Doop Mirror
⭐
116
Mirror of Doop: https://bitbucket.org/yanniss/doop
Cclyzerpp
⭐
89
cclyzer++ is a precise and scalable global pointer analysis for LLVM code.
Cclyzer
⭐
86
A tool for analyzing LLVM bitcode using Datalog.
Yapall
⭐
38
A precise and scalable pointer analysis for LLVM, written in Ascent
Related Searches
Java Datalog (10)
Static Analysis Datalog (10)
Llvm Pointer Analysis (9)
C Plus Plus Datalog (7)
C Plus Plus Pointer Analysis (6)
C Datalog (6)
Datalog Souffle (5)
Llvm Datalog (5)
C Pointer Analysis (3)
Program Analysis Datalog (3)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.