Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for c plus plus pointer analysis
c-plus-plus
x
pointer-analysis
x
5 search results found
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.
Symbolic Analysis
⭐
5
Customized symbolic analysis to find pointer analysis bugs
Related Searches
C Plus Plus Cmake (8,712)
C Plus Plus Qt (8,557)
C Plus Plus Video Game (8,255)
C Plus Plus Algorithms (6,194)
C Plus Plus Opengl (4,396)
C Plus Plus 3d Graphics (3,196)
C Plus Plus Testing (2,735)
Java C Plus Plus (2,629)
C Plus Plus Command Line (2,304)
Javascript C Plus Plus (2,235)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
