proxy.golang.org "pointer-analysis" keyword
View the packages on the proxy.golang.org package registry that are tagged with the "pointer-analysis" keyword.
Top 5.5% on proxy.golang.org
1 version - Latest release: over 3 years ago - 388 stars on GitHub
github.com/amit-davidson/Chronos v0.0.0-20220422084152-0fc56a9e04b4
Chronos - A static race detector for the go language1 version - Latest release: over 3 years ago - 388 stars on GitHub
Top 8.2% on proxy.golang.org
6 versions - Latest release: over 2 years ago - 1 stars on GitHub
github.com/BarrensZeppelin/pointer v0.2.4
Package pointer provides a Go adaptation of Steensgaard's pointer analysis algorithm.6 versions - Latest release: over 2 years ago - 1 stars on GitHub
Top 5.6% on proxy.golang.org
3 versions - Latest release: about 2 years ago - 66 stars on GitHub
github.com/GaloisInc/yapall v0.1.2
A precise and scalable pointer analysis for LLVM, written in Ascent3 versions - Latest release: about 2 years ago - 66 stars on GitHub
Top 7.9% on proxy.golang.org
11 versions - Latest release: over 4 years ago - 6 stars on GitHub
github.com/go-air/pal v0.0.11 💰
Package ⊧ pal provides a pointer analysis library. ⊧11 versions - Latest release: over 4 years ago - 6 stars on GitHub
Top 6.7% on proxy.golang.org
20 versions - Latest release: 3 months ago - 816 stars on GitHub
github.com/wala/wala v1.6.12
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many c...20 versions - Latest release: 3 months ago - 816 stars on GitHub
Top 6.7% on proxy.golang.org
20 versions - Latest release: 3 months ago - 816 stars on GitHub
github.com/wala/WALA v1.6.12
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many c...20 versions - Latest release: 3 months ago - 816 stars on GitHub
Top 8.2% on proxy.golang.org
6 versions - Latest release: over 2 years ago - 0 stars on GitHub
github.com/barrenszeppelin/pointer v0.2.4
Implementation of Steensgaard's pointer analysis for Go6 versions - Latest release: over 2 years ago - 0 stars on GitHub
Top 5.6% on proxy.golang.org
3 versions - Latest release: about 2 years ago - 66 stars on GitHub
github.com/galoisinc/yapall v0.1.2
A precise and scalable pointer analysis for LLVM, written in Ascent3 versions - Latest release: about 2 years ago - 66 stars on GitHub
Top 5.6% on proxy.golang.org
2 versions - Latest release: almost 10 years ago - 504 stars on GitHub
github.com/mchalupa/dg v0.0.2
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slic...2 versions - Latest release: almost 10 years ago - 504 stars on GitHub
Top 8.2% on proxy.golang.org
1 version - Latest release: about 5 years ago - 388 stars on GitHub
github.com/amit-davidson/chronos v0.0.0-20201020162331-6996f9ef1785
Chronos - A static race detector for the go language1 version - Latest release: about 5 years ago - 388 stars on GitHub
Related Keywords
static-analysis
7
program-analysis
5
static-code-analysis
5
go
5
golang
4
analysis
4
slicing
3
llvm
3
callgraph
3
javascript
2
java
2
dataflow-analysis
2
android
2
datalog
2
unification-algorithm
2
synchronization
2
data-race-detection
2
detection
2
ssa
2
race-detection
2
race-conditions
2
race-condition
2
mutex-synchronisation
2
detects-races
2
static-analyzer
1
slice
1
reaching-definitions
1
points-to-analysis
1
llvm-slicer
1
llvm-ir
1
llvm-bitcode
1
dependency-graph
1
dependence-graph
1
data-dependency
1
control-dependency
1
backward-slicing
1
backward-slice
1
call-graph-analysis
1