Linux assembly language minimal 'dynamic ELF' example plus experiments
☆25May 22, 2020Updated 5 years ago
Alternatives and similar repositories for iamdynamic
Users that are interested in iamdynamic are comparing it to the libraries listed below
Sorting:
- Object Algebra Composition☆24Jul 4, 2013Updated 12 years ago
- Recent Fuzzing Paper☆36Jul 25, 2023Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- PoC Reverse Text segment ELF File infector☆14Feb 28, 2020Updated 6 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- Python module to check for system call numbers☆11Sep 18, 2023Updated 2 years ago
- Tool for generating Memory.scan() compatible instruction search patterns☆14Jul 29, 2022Updated 3 years ago
- Evasive ELF Static PIE User-Land-Exec featured in Tmpout Vol 1.☆28Sep 11, 2021Updated 4 years ago
- Some tee/trustzone helper stuff☆55Sep 29, 2019Updated 6 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- Frida FDE bruteforce Samsung S7 Edge☆50Nov 4, 2019Updated 6 years ago
- 1337C001's Memory Dumper☆29Aug 24, 2019Updated 6 years ago
- Slim dockerized Android ndk☆12Mar 3, 2023Updated 2 years ago
- Some 'one-line' frida api to avoid code recycling here and there☆28Jul 8, 2019Updated 6 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- Exploit Android MSM8974 Chipset☆13Aug 20, 2015Updated 10 years ago
- Collection of ezine about virii☆17Sep 13, 2022Updated 3 years ago
- Segmentation models in Julia☆15Feb 15, 2022Updated 4 years ago
- Instrument code to trace memory☆19Feb 15, 2019Updated 7 years ago
- PoC code for CVE-2018-9539☆20Nov 11, 2018Updated 7 years ago
- Talking about classical logic and abstract algebra in Haskell☆16Feb 12, 2021Updated 5 years ago
- Official Dexcalibur documentation☆17May 27, 2021Updated 4 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 5 months ago
- POSIX Threads support in Julia.☆17Nov 16, 2022Updated 3 years ago
- ARMv7 architecture plugin☆40Mar 7, 2024Updated last year
- Android app for the RF430FRL152H and other NFC Type V tags.☆49Jun 25, 2020Updated 5 years ago
- ☆18Nov 23, 2021Updated 4 years ago
- ☆18Jun 21, 2019Updated 6 years ago
- Will try to put here slides from now on when I give a talk☆24Oct 11, 2021Updated 4 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Dec 10, 2021Updated 4 years ago
- A drop-in replacement of `Base.@assert` that prints out additional information upon failure.☆17Jun 20, 2023Updated 2 years ago
- ☆19Mar 24, 2017Updated 8 years ago
- ☆21Sep 8, 2021Updated 4 years ago
- CVE-2018-4330 POC for iOS☆17Sep 13, 2018Updated 7 years ago
- Remote library injection into Android processes, then hooking via various methods☆64Nov 24, 2025Updated 3 months ago
- Linux Kernel Source Tree Reducer☆81Oct 29, 2024Updated last year
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 11 years ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Jul 2, 2024Updated last year
- A formally verified compiler for a simple language with numbers and sums☆27Nov 29, 2020Updated 5 years ago