💻 DTU. Security researcher, exploit developer and reverse engineer. Occasionally do Fintech :)
Passionate about mountain biking and studying 😄
-
Passware
- Denmark, Copenhagen
- https://pwn.report/
- @m4drat
- in/m4drat
Block or Report
Block or report m4drat
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (3)
Sort Name ascending (A-Z)
Stars
Language: OCaml
All languages
AGS Script
AIDL
Assembly
Batchfile
C
C#
C++
CMake
CSS
Clojure
CodeQL
Coq
Cuda
Dart
Dockerfile
Erlang
F#
Faust
Go
HLSL
HTML
Handlebars
Haskell
Java
JavaScript
Jinja
Julia
Jupyter Notebook
Kotlin
LLVM
Lean
Lua
MDX
Makefile
Max
Meson
Mojo
OCaml
Objective-C
Objective-C++
Odin
Perl
PowerShell
Prolog
Python
Racket
RenderScript
Roff
Ruby
Rust
SCSS
SMT
Scala
Scheme
ShaderLab
Shell
SmPL
Solidity
StringTemplate
Swift
TeX
TypeScript
V
VBA
VHDL
Verilog
Vim Script
Vue
WebAssembly
Yacc
Nothing to show
Sort by: Most stars
8
stars
written in OCaml
Clear filter
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
magic-trace collects and displays high-resolution traces of what a process is doing
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Program analysis tools developed at Draper on the CBAT project.
Verified, Incremental, Binary Editing with Synthesis