issues
search
hbgit
/
Map2Check
Map2Check: Finding Software Vulnerabilities
https://map2check.github.io
GNU General Public License v2.0
27
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Added function name option into TargetPass
#46
rafaelsamenezes
opened
3 years ago
0
Add a argument to specify the name of the target function
#45
rafaelsamenezes
opened
3 years ago
0
Added nondet-generator option
#44
rafaelsamenezes
opened
3 years ago
0
Add option to use a specific generator
#43
rafaelsamenezes
opened
4 years ago
0
Support to check floating-point arithmetic
#42
hbgit
opened
4 years ago
1
Add support to verify concurrent programs
#41
hbgit
opened
4 years ago
0
Add new subcategories from SV-COMP
#40
hbgit
opened
4 years ago
0
Update LLVM to 8.0
#39
hbgit
closed
4 years ago
1
Add support to Termination Analysis
#38
hbgit
opened
4 years ago
0
Crucible support as a Symbolic Engine
#37
rafaelsamenezes
opened
4 years ago
1
KLEE crash incorrect results
#36
hbgit
opened
4 years ago
0
Update KLEE
#35
hbgit
closed
4 years ago
1
CRABLLVM generates UNKNOWN result
#34
hbgit
opened
4 years ago
0
Skip call nondet generator
#33
hbgit
closed
4 years ago
1
Fix incorrect CRAB call to fuzzer
#32
hbgit
closed
4 years ago
1
Adopt a code slicer
#31
hbgit
opened
4 years ago
0
Support the reach_error() function
#30
hbgit
closed
4 years ago
2
Add Coverage report
#29
hbgit
opened
4 years ago
0
CII Best Practices Badge Program
#28
hbgit
closed
4 years ago
0
Fix incorrect results in NoOverflows-Other
#27
hbgit
opened
4 years ago
0
Fix incorrect results in NoOverflows-BitVectors
#26
hbgit
opened
4 years ago
0
Fix incorrect results in MemSafety-MemCleanup
#25
hbgit
opened
4 years ago
0
Fix incorrect results in MemSafety-Other
#24
hbgit
opened
4 years ago
0
Fix incorrect results in ReachSafety-Heap
#23
hbgit
opened
4 years ago
0
Fix incorrect result in ReachSafety-ControlFlow
#22
hbgit
opened
4 years ago
0
Fix incorrect results in ReachSafety-Arrays
#21
hbgit
closed
4 years ago
2
Add SPDX-License-Identifier
#20
hbgit
closed
4 years ago
0
Update strategy to apply smt solver
#19
hbgit
closed
5 years ago
1
Can symbolic execution tool KLEE run in parallel?
#18
hbgit
opened
5 years ago
0
Clean up branches
#17
hbgit
closed
5 years ago
3
LLVM Optimizations with KLEE
#16
rafaelsamenezes
opened
5 years ago
0
Program invariant generation
#15
hbgit
opened
5 years ago
0
Create unroll_pass.cpp
#14
VictorDeluca
closed
5 years ago
0
Patch 1
#13
VictorDeluca
closed
5 years ago
0
Improving counterexample generation
#12
hbgit
opened
5 years ago
0
Caller Refactoring
#11
hbgit
opened
5 years ago
0
Fix build crab-llvm
#10
hbgit
closed
5 years ago
0
Adding robots to check require tests and other checks to improve the quality of the code
#9
hbgit
opened
5 years ago
0
Updating front-end
#8
hbgit
closed
5 years ago
3
Improving testing tool
#7
hbgit
closed
5 years ago
0
Improving the code style
#6
hbgit
closed
5 years ago
7
Improving the Dockerfile documentation
#5
hbgit
closed
5 years ago
0
Fixed output message of Map2Check
#4
lucasccordeiro
closed
6 years ago
0
Added .travis.yml
#3
rafaelsamenezes
closed
6 years ago
0
Fix warnings
#2
rafaelsamenezes
closed
6 years ago
0
Corrections on dependencies
#1
rafaelsamenezes
closed
8 years ago
0