issues
search
mchalupa
/
dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
MIT License
474
stars
131
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
CI: add build with static LLVM to Linux CI
#408
lzaoral
closed
2 years ago
0
Fix warnings reported in Debug CI Jobs
#407
lzaoral
closed
2 years ago
1
Fix CI
#406
lzaoral
closed
2 years ago
2
Update bundled Catch2 to 2.13.7
#405
lzaoral
closed
2 years ago
0
Update CI
#404
lzaoral
closed
2 years ago
5
VR: use fixed and refactored version
#403
GiraffeReversed
closed
2 years ago
15
PTA: handle looseless casts
#402
mchalupa
closed
2 years ago
0
`llvm-slicer` crashes on `@llvm.memset.p0i8.i64`
#401
lzaoral
closed
2 years ago
0
CI: fix SVF job
#400
lzaoral
closed
2 years ago
0
cmake: mark LLVM's and SVF's include directories as `SYSTEM`
#399
lzaoral
closed
2 years ago
1
tests: fail if UBSAN finds something
#398
lzaoral
closed
2 years ago
6
Update SVF and Catch 2
#397
lzaoral
closed
2 years ago
0
Devel 1
#396
mchalupa
closed
2 years ago
0
Ci fix 2
#395
mchalupa
closed
3 years ago
0
Dockerfile: Update Dockerfile
#394
lzaoral
closed
2 years ago
6
Add missing headers
#393
mchalupa
closed
3 years ago
0
CI: Use the latest stable release of SVF
#392
lzaoral
closed
3 years ago
0
Dose this tool can do parameter slice
#391
Moriarty002
opened
3 years ago
8
How to slice a variable in a specified function
#390
Moriarty002
closed
3 years ago
2
Incompatible function pointer calls
#389
mchalupa
opened
3 years ago
0
Update Catch2 to 2.13.5
#388
lzaoral
closed
3 years ago
1
Fix/Finish RPM packaging
#387
lzaoral
closed
3 years ago
1
Add `.clang-format`
#386
lzaoral
closed
3 years ago
2
Add `.clang-tidy`
#385
lzaoral
closed
3 years ago
6
Simple miss-sliced examples?
#384
FerranAlet
opened
3 years ago
3
llvm-slicer says it saves sliced module but doesn't
#383
FerranAlet
closed
3 years ago
3
Fuzzer related fixes
#382
lzaoral
closed
3 years ago
0
Fix warnings about unused stuff
#381
lzaoral
closed
3 years ago
0
Refactor silencing pragmas
#380
lzaoral
closed
3 years ago
0
cmake: use CMake to generate git version
#379
lzaoral
closed
3 years ago
0
CDA: allow use also the wrong version of Ranganath's algorighm
#378
mchalupa
closed
3 years ago
0
build: Fix compilation with GCC 11
#377
lzaoral
closed
3 years ago
0
Memcpy chk
#376
mchalupa
closed
3 years ago
0
Add cmd-args test and port everything to `llvm::cl`
#375
lzaoral
closed
2 years ago
6
Various CMake related fixes
#374
lzaoral
closed
3 years ago
2
Fix compatibility with LLVM 3.7
#373
lzaoral
closed
3 years ago
0
Forward fix
#372
mchalupa
closed
3 years ago
0
Random code problem
#371
ross-Hr
closed
3 years ago
1
[Bug?] A simple branch statement
#370
ghost
closed
3 years ago
12
ValueRelations fails to update constant bound for integers of different bitwidth
#369
tomsik68
closed
2 years ago
3
tests: Build Catch2 main only once
#368
lzaoral
closed
3 years ago
1
VR: check for conflicting relation when building switch
#367
GiraffeReversed
closed
3 years ago
1
CI: Migrate to GitHub Actions
#366
lzaoral
closed
3 years ago
10
Value relations anlaysis hits an assert
#365
mchalupa
closed
3 years ago
6
build: install also libdgcda
#364
tomsik68
closed
3 years ago
0
Devel 1118
#363
mchalupa
closed
3 years ago
0
Only function declaration
#362
ghost
closed
3 years ago
4
Devel 1112
#361
mchalupa
closed
3 years ago
0
Typo in "bitcode" [Doc]
#360
vwvw
closed
3 years ago
0
llvm11: Fix compilation of ValueRelations and slicer crits
#359
lzaoral
closed
3 years ago
1
Previous
Next