To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Semantic analysis of binary executables
Install
Authors
-
AAdel Djoudi
-
BBenjamin Farinier
-
CChakib Foulani
-
DDorian Lesbre
-
FFrédéric Recoules
-
GGuillaume Girol
-
JJosselin Feist
-
LLesly-Ann Daniel
-
MManh-Dung Nguyen
-
MMathéo Vergnolle
-
MMathilde Ollivier
-
MMatthieu Lemerre
-
OOlivier Nicole
-
RRichard Bonichon
-
RRobin David
-
SSébastien Bardin
-
SSoline Ducousso
-
TTa Thanh Dinh
-
YYaëlle Vinçont
Maintainers
Sources
binsec-0.6.3.tbz
sha256=108b575f2b5405814cab41e34d15602045cc708c4b11ebb662a49ca759b3a37c
sha512=3c17273fc1deb160bc1bccf827e9afaec50715ee46d0b8e232be7599a0cd7c91f8422d59ea4d18f72c6133d9d026e21786b0d7c7ce8f394784f2cc350d9ada07
README.md.html
BINSEC
BINSEC is an open-source toolset to help improve software security at
the binary level. It relies on cutting-edge research in binary code analysis,
at the intersection of formal methods, program analysis, security and software
engineering. It is powered up by state-of-the-art techniques such as
binary-level formal methods, symbolic execution, abstract interpretation,
SMT solving and fuzzing.
Website
More information about BINSEC is available at: https://binsec.github.io/
Getting started
See install instructions.
Then, have a look at user documentation for command examples.
Contributing
Found a bug or want to make a suggestion,
check how to contribute improving BINSEC.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>