Pinned Repositories
a2c
A compiler for the algorithmic language taught at EPITA.
atomos
Baby i386 kernel
coqsat
Coq implementation and proof of a basic SAT algorithm
EDB
Easy Debugger
linux
Linux kernel source tree
ltrace
ltrace intercepts and records dynamic library calls which are called by an executed process and the signals received by that process. It can also intercept and print the system calls executed by the program.
pyr0
Attempt to make a python based Operating System, it means that we use language feature to provide security instead of using hardware as in a classical operating system.
strace
strace is a diagnostic, debugging and instructional userspace utility for Linux
ToyOS
A fork of toaruos
strace
strace is a diagnostic, debugging and instructional userspace utility for Linux
fabiensiron's Repositories
fabiensiron/pyr0
Attempt to make a python based Operating System, it means that we use language feature to provide security instead of using hardware as in a classical operating system.
fabiensiron/atomos
Baby i386 kernel
fabiensiron/ltrace
ltrace intercepts and records dynamic library calls which are called by an executed process and the signals received by that process. It can also intercept and print the system calls executed by the program.
fabiensiron/strace
strace is a diagnostic, debugging and instructional userspace utility for Linux
fabiensiron/ToyOS
A fork of toaruos
fabiensiron/a2c
A compiler for the algorithmic language taught at EPITA.
fabiensiron/coqsat
Coq implementation and proof of a basic SAT algorithm
fabiensiron/EDB
Easy Debugger
fabiensiron/linux
Linux kernel source tree
fabiensiron/HBefunge-93
fabiensiron/pok
POK kernel. Safe and secure for safety-critical systems.
fabiensiron/pycdc
C++ python bytecode disassembler and decompiler
fabiensiron/tinypy
Automatically exported from code.google.com/p/tinypy
fabiensiron/toaruos
Hobby kernel + userspace, built mostly from scratch.
fabiensiron/trinity
Linux system call fuzzer