issues
search
binsec
/
binsec
BINSEC binary-level open-source platform
GNU Lesser General Public License v2.1
316
stars
34
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Printing help requires specifying an ISA
#49
Lesly-Ann
closed
2 weeks ago
2
BINSEC 0.9.1 fails to build with OCaml 5.2.0
#48
niooss-ledger
closed
2 months ago
2
Couldn't find the usage description for the BINSEC disassembly command
#47
buptdsc
opened
2 months ago
0
Missing amd64 instruction `pshuflw`
#45
niooss-ledger
opened
4 months ago
5
Incorrect decoding of riscv compressed `sw` instruction
#38
cchr-ledger
closed
4 months ago
2
The checkct plugin sometimes reports control flow leak on arm `clz` instruction
#37
cchr-ledger
opened
6 months ago
2
Verification Issues Regarding Compiled Code
#35
MJJ-Shuai
closed
6 months ago
1
Weird behaviour when returning from function on arm
#34
cchr-ledger
closed
10 months ago
2
The checkct plugin sometimes report control flow leak on arm `adcs` instruction
#33
cchr-ledger
closed
6 months ago
2
Uninterpreted `smlabb` (arm) instruction
#32
cchr-ledger
opened
11 months ago
5
The checkct plugin sometimes reports false leaks with equal secret1 and secret2
#31
cchr-ledger
closed
11 months ago
5
Error while analysing 'lsl.w' instruction with relse engine
#30
cchr-ledger
closed
11 months ago
2
[Question] Is it possible to reuse disassembly result across analyses ?
#29
cchr-ledger
closed
11 months ago
6
Error while analysing 'udiv' instruction with relse engine
#28
cchr-ledger
closed
11 months ago
2
Error while analysing arm binaries with relse engine
#27
cchr-ledger
closed
11 months ago
2
Fail to get the same result of constant time check with binsec/rel and binsec
#26
Luweicai
closed
11 months ago
13
What does cut path mean in relational symbolic execution?
#25
Luweicai
closed
1 year ago
4
How to set the sse-depth to be infinite when run elational symbolic execution of constant time check?
#24
Luweicai
closed
1 year ago
2
Error when runing relational symbolic execution with examples in tutorial
#23
Luweicai
closed
1 year ago
4
Fail to run relational symbolic execution constant time checking.
#22
Luweicai
closed
1 year ago
2
Infinite loop / wrong parsing on a trivial arm64 binary
#21
remyoudompheng
closed
1 year ago
2
Bug in core dump generation
#20
gregoiremenguy
closed
1 year ago
1
Control flow graph construction problem in opaque predicate detection
#19
DQP2375
opened
1 year ago
7
No SMT solver found
#18
DQP2375
closed
1 year ago
5
Correct typo
#17
Antabuse-123
closed
1 year ago
1
Update beginners.md
#16
bernardnongpoh
opened
2 years ago
0
just support ida pro 6.9?
#15
sh0ve1
opened
2 years ago
2
Compilation error
#14
CLOVIS-AI
closed
2 years ago
2
The Makefile prints incorrect error messages
#13
CLOVIS-AI
closed
2 years ago
1
The Docker image is not up to date
#12
CLOVIS-AI
closed
2 years ago
5
Backport changes from https://github.com/ocaml/opam-repository/pull/20290
#11
kit-ty-kate
closed
2 years ago
0
add dev-repo to opam file
#10
zapashcanon
closed
3 years ago
2
building issue
#9
arunchannaraju18
closed
4 years ago
3
ParseError for DBA
#8
DarkaMaul
opened
4 years ago
0
Stand Alone Backward analysis
#7
fcmonoid
opened
4 years ago
2
Add Rizin/Cutter support
#6
XVilka
closed
1 year ago
2
Sim2 not returning the good result
#5
gregoiremenguy
closed
4 years ago
1
Sim2 doesn't accept function name as entrypoint
#4
gregoiremenguy
closed
4 years ago
1
Is binsec_v0.2 compatibale with IDASEC ?
#3
APlus123
closed
5 years ago
1
Considering moving the code to F#
#2
enkomio
closed
5 years ago
1
Update REAMED.md URL
#1
rrreeezzz
closed
6 years ago
0