In this paper, we present the tool LARVA, for the runtime verification of properties of Java programs, including real-time properties. Properties can be expressed in a number of notations, including ...

Spoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ️, 🍻 and . It parses source files to build a well-designed AST with powerful analysis and transformation ...

Compile a C app with a buffer overflow and inspect it Modify and debug a Hello World ELF binary Identify a crash using gdb Exploit a stack overflow on a 32-bit binary Inject shellcode to spawn /bin/sh ...