Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Search results for llvm pointer analysis

llvm x
pointer-analysis x
9 search results found
Svf ⭐ 1,297
Static Value-Flow Analysis Framework for Source Code
Dg ⭐ 376
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Sea Dsa ⭐ 143
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
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
Occam ⭐ 12
OCCAM: Object Culling and Concretization for Assurance Maximization
Map2check ⭐ 8
Map2Check: Finding Software Vulnerabilities
Symbolic Analysis ⭐ 5
Customized symbolic analysis to find pointer analysis bugs
Related Searches
C Plus Plus Llvm (1,696)
Llvm Clang (934)
C Llvm (447)
Language Llvm (368)
Rust Llvm (282)
Python Llvm (280)
Llvm Symbolic (59)
Llvm Static Analysis (45)
Graph Llvm (37)
Llvm Program Analysis (29)
1-9 of 9 search results
Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source.  All rights reserved.