Software / Systems / Security
Italy · mntcrl ↗
Operating systems, programming languages,
and binary exploitation.
kernel/entry.cc · excerpt
Memory::PMM::init();
Memory::Paging::init();
Memory::VMM::init();
Arch::GDT::init();
Arch::IDT::init();
Sys::Multitasking::Man::start();Unix-like OS. x86-64, C++20 and assembly.
.wTokens → ASTIR → Optimizerx86-64testing/features/tests/dev/base.w · excerpt
func main(argc: int, argv: ptr<ptr<char>>): int {
var T: s16=30_000;
var i: int=0;
var tptr: ptr<int> = guard![malloc(sizeof<int>*8)];Compiled language. Custom C++ compiler, x86-64 backend.
readme · excerpt
what it finds:
- buffer overflows (with sizes)
- format strings (with offsets)
- unterminated string leaks
- stack canaries
- security mitigations (PIE/NX/RELRO)
- generates exploit payloadsStatic binary analysis. Overflows, format strings and canaries.
National Finals
University of Bari Aldo Moro team
C, C++, assembly, Python.
Pwn, rev and crypto with mntcrl ↗.
Open to research, CTF and systems collaborations.
A little more about me