issues
search
dannybpoulsen
/
minimc
7
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Evaluate Registers based on their symbols
#30
dannybpoulsen
opened
2 months ago
0
Segfault when LLVM module has indirect function calls
#29
dannybpoulsen
closed
6 months ago
0
Compilation issues
#28
Lqs66
closed
7 months ago
0
Compilation problems with branch uppllvm
#27
Lqs66
closed
7 months ago
0
Refactor cpa
#26
dannybpoulsen
closed
9 months ago
0
fix ci
#25
dannybpoulsen
closed
10 months ago
0
Pointer comparisons are currently not supported
#24
dannybpoulsen
closed
1 year ago
0
22 issue loading functions with a variable number of arguments
#23
dannybpoulsen
closed
1 year ago
0
Issue loading functions with a variable number of arguments
#22
MKKlausen
closed
1 year ago
0
Attempts to fix compilation on arch linux with LLVM-15
#21
dannybpoulsen
closed
1 year ago
0
Allow for undefined functions in MiniMC Model
#20
dannybpoulsen
opened
1 year ago
0
Global Process Registers
#19
dannybpoulsen
closed
1 year ago
0
Support for storing analysis results
#18
dannybpoulsen
opened
1 year ago
0
Arbitrary Bitvector length support
#17
dannybpoulsen
opened
1 year ago
0
Result class
#16
larsbpf
opened
1 year ago
0
Initialisation of "global" memory locations are not working properly
#15
dannybpoulsen
closed
1 year ago
1
Correct indentation
#14
Zaph-x
opened
1 year ago
0
[CLI] Loaders should be selected using a name rather than number
#13
dannybpoulsen
closed
1 year ago
0
Interpreter and MiniMC Loader
#12
larsbpf
closed
1 year ago
0
Call-content doesn't have a res value
#11
larsbpf
closed
1 year ago
1
Replace Boost::format
#10
dannybpoulsen
opened
1 year ago
0
Prefixes on variables are added twice
#9
dannybpoulsen
closed
1 year ago
0
Closes #7
#8
dannybpoulsen
closed
1 year ago
0
NonDet is always expanded in MC
#7
dannybpoulsen
closed
1 year ago
0
Missing TypeChecking
#6
dannybpoulsen
opened
2 years ago
2
Disabled Features
#5
dannybpoulsen
opened
2 years ago
0
Fix
#4
dannybpoulsen
closed
3 years ago
0
Update to newest LLVM
#3
dannybpoulsen
closed
3 years ago
0
Simplifier erroneously removes edges
#2
dannybpoulsen
closed
4 years ago
0
SMC segfaults
#1
dannybpoulsen
closed
4 years ago
0