Stars
- All languages
- ActionScript
- Assembly
- Batchfile
- BlitzBasic
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- D
- DIGITAL Command Language
- Dockerfile
- Elixir
- Go
- HTML
- Haskell
- Haxe
- Java
- JavaScript
- Jupyter Notebook
- Kaitai Struct
- Kotlin
- LLVM
- MATLAB
- Makefile
- Mask
- Meson
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PHP
- POV-Ray SDL
- Pascal
- Perl
- PowerShell
- PureBasic
- Python
- Reason
- Roff
- Ruby
- Rust
- Scala
- Shell
- Swift
- TeX
- TypeScript
- Vim Script
- Visual Basic
- Vue
- XSLT
- YARA
3
stars
written in OCaml
Clear filter
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
FuzzBALL: Vine-based Binary Symbolic Execution