bap
ataraxia
Our great sponsors
| bap | ataraxia | |
|---|---|---|
| 3 | 2 | |
| 1,970 | 279 | |
| 1.5% | 0.0% | |
| 4.5 | 0.0 | |
| 6 days ago | almost 3 years ago | |
| OCaml | Shell | |
| MIT License | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
bap
-
Any standard algorithms for parsing (disassembling) machine code?
BAP (https://github.com/binaryanalysisplatform/bap), angr (https://angr.io/) and others already do what you're asking for as more purpose-built solutions for dynamic analysis. Angr specifically in python.
- You need to stop idolizing programming languages.
-
Starting ocaml
I find this pretty good https://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/intro/ocaml.html. Fun projects include compilers (pattern matching and static types are why Ocaml is usually selected), binary analysis stuff https://github.com/BinaryAnalysisPlatform/bap, stuff that requires async so you can try out nomadic async stuff, or really anything you desire.
ataraxia
- Ataraxia Linux - musl libc distro using LLVM/Clang!
-
Ataraxia Linux - Linux Distro using musl libc and Clang!
Github: https://github.com/ataraxialinux/ataraxia
What are some alternatives?
VMProtect-devirtualization - Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
iglunix - Linux (and other kernels) distro with no GNU components
pyt - A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
JingOS - Awesome - JingOS - The World’s First Linux-based OS design for Tablets
angr - A powerful and user-friendly binary analysis platform!
systemd - The systemd System and Service Manager
klee - KLEE Symbolic Execution Engine
sabotage - a radical and experimental distribution based on musl libc and busybox
MobileApp-Pentest-Cheatsheet - The Mobile App Pentest cheat sheet was created to provide concise collection of high value information on specific mobile application penetration testing topics.
riscv-gcc-prebuilt - 📦 Prebuilt RISC-V GCC toolchains for x64 Linux.
bolt - Bolt is a language with in-built data-race freedom!
capstone - Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings. [Moved to: https://github.com/capstone-engine/capstone]