Pinned Repositories
101
101b
4
4th version of iSida Jabber Bot ..
afl-custom-mutator-bug-example
AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
esil-rs
Radare2's ESIL in Rust
gramine
A library OS for Linux multi-process applications, with Intel SGX support
hapidry
lcov-diff
ptaf-azure
capgelka's Repositories
capgelka/lcov-diff
capgelka/ivlcmp
capgelka/101
capgelka/101b
capgelka/4
4th version of iSida Jabber Bot ..
capgelka/afl-custom-mutator-bug-example
capgelka/AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
capgelka/esil-rs
Radare2's ESIL in Rust
capgelka/gramine
A library OS for Linux multi-process applications, with Intel SGX support
capgelka/hapidry
capgelka/ptaf-azure
capgelka/html_md_tools
a simple crate to print formatted html content to stdout
capgelka/iamb
A Matrix client for Vim addicts
capgelka/isida-radio
a simple plugin for isida bot
capgelka/ispras-os-course
capgelka/kernel-module-task
capgelka/master-thesis
capgelka/parse-elf
An example of how to parse an ELF symbol table.
capgelka/ptaf-azure-dev
ptaf config for azure
capgelka/pyo3
Rust bindings for the Python interpreter
capgelka/qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
capgelka/radare2
UNIX-like reverse engineering framework and command-line toolset
capgelka/rune
rune - radare2 based symbolic emulator
capgelka/rust_task
capgelka/synapse
Synapse: Matrix reference homeserver
capgelka/teamcity-messages
Python Unit Test Reporting to TeamCity
capgelka/test-task
capgelka/Triton
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.
capgelka/tui-rs
Build terminal user interfaces and dashboards using Rust