issues
search
GaloisInc
/
cclyzerpp
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
https://galoisinc.github.io/cclyzerpp/
BSD 3-Clause "New" or "Revised" License
134
stars
15
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
dl: Adapt to opaque pointers
#113
langston-barrett
opened
1 year ago
0
dl: Offset-based memory model
#112
langston-barrett
opened
1 year ago
0
ci, cmake: Test with UBSan
#111
langston-barrett
closed
1 year ago
2
cmake, docker, FactGenerator: iwyu
#110
langston-barrett
closed
1 year ago
1
cmake, ci: Lint with include-what-you-use
#109
langston-barrett
opened
1 year ago
1
doc, ci: Improve release process
#108
langston-barrett
closed
1 year ago
0
ci: Build FactGenerator with sanitizers
#107
langston-barrett
closed
1 year ago
0
LLVM 14
#106
langston-barrett
closed
1 year ago
0
RFC: Remove handling of attributes
#105
langston-barrett
closed
1 year ago
1
Correctness tests
#104
langston-barrett
opened
1 year ago
1
LLVM 13, Ubuntu 22.04
#103
langston-barrett
closed
1 year ago
3
LLVM 12
#102
langston-barrett
closed
1 year ago
1
doc: Change Sphinx theme
#101
langston-barrett
closed
1 year ago
0
doc: Separate build, installation, and usage docs
#100
langston-barrett
closed
1 year ago
1
doc: Mention Debian packages
#99
langston-barrett
closed
1 year ago
0
ci: Build and release artifacts for multiple LLVM versions
#98
langston-barrett
opened
1 year ago
0
Properly specify dependencies in Debian package
#97
langston-barrett
closed
1 year ago
0
bug: All globals with initializers should have sizes
#96
langston-barrett
opened
1 year ago
0
Globals with initializers should have allocation sizes
#95
langston-barrett
closed
1 year ago
0
FactGenerator: Handle `fneg`
#94
langston-barrett
closed
1 year ago
1
ci, docker: Disaggregate Clang and LLVM versions, Clang 11, LLVM 10+11
#93
langston-barrett
closed
1 year ago
3
v0.4.0
#92
langston-barrett
closed
1 year ago
0
ci, cmake: Run clang-tidy on the FactGenerator in CI
#91
langston-barrett
closed
1 year ago
0
Rename more relations for FactGenerator/Datalog consistency
#90
langston-barrett
closed
1 year ago
0
dl: Suppress remaining warnings
#89
langston-barrett
closed
1 year ago
1
datalog: Use more specific types
#88
langston-barrett
closed
1 year ago
0
datalog: Turn `Instruction` into a union of instruction types
#87
langston-barrett
closed
1 year ago
0
LLVM type relations are both inputs and computed
#86
langston-barrett
opened
1 year ago
0
Remove subset-and-unification target
#85
langston-barrett
closed
1 year ago
1
datalog: Don't instantiate `ThrowInstruction` component
#84
langston-barrett
closed
1 year ago
0
datalog: Don't instantiate C++ components
#83
langston-barrett
closed
1 year ago
0
Remove extraneous relations leftover from LogicBlox port
#82
langston-barrett
closed
1 year ago
0
doc: Document installing via Debian packages
#81
langston-barrett
closed
1 year ago
0
ci: Compile with `-DCMAKE_BUILD_TYPE=Release` for releases
#80
langston-barrett
closed
1 year ago
0
v0.3
#79
langston-barrett
closed
1 year ago
2
ci: Attach Debian package to releases
#78
langston-barrett
closed
1 year ago
0
ci: Attach Debian package to releases
#77
langston-barrett
closed
1 year ago
0
docker: Install cclyzer++ from Debian package
#76
langston-barrett
closed
1 year ago
0
cmake: Package shared libraries
#75
langston-barrett
closed
1 year ago
0
cmake: Integrate fpm for .deb packaging
#74
langston-barrett
closed
1 year ago
0
Further improvements to diff script
#73
langston-barrett
closed
1 year ago
0
FactGenerator: Don't generate `{in,}direct_{call,invoke}`
#72
langston-barrett
closed
1 year ago
1
cmake: Integrate packaging
#71
langston-barrett
closed
1 year ago
0
Package for Debian with fpm
#70
langston-barrett
closed
1 year ago
0
bug: Callgraph changed in test program
#69
langston-barrett
closed
1 year ago
5
Improve script for human-readable diffs of analysis outputs
#68
langston-barrett
closed
1 year ago
0
Remove `pts_` prefix from signature relations
#67
langston-barrett
closed
1 year ago
0
Reorganize tests
#66
langston-barrett
closed
1 year ago
0
Consistent names for GEP relations
#65
langston-barrett
closed
1 year ago
0
doc: Move cclyzer license (MIT) into documentation
#64
langston-barrett
closed
1 year ago
0
Previous
Next