|
Python |
3 |
Angr CTFs covering topics from basics to intermediate. |
Dec 06, 2022 |
|
OCaml |
25 |
C Intermediate Language |
Aug 18, 2022 |
|
C++ |
3 |
Intermediate bytecode language |
Jan 03, 2022 |
|
Python |
544 |
The official angr GUI. |
Aug 10, 2022 |
|
None |
2 |
The official angr GUI. |
Jul 21, 2023 |
|
Makefile |
3 |
An Intermediate Constructed Language |
Apr 06, 2022 |
|
Python |
74 |
Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr) |
Apr 26, 2023 |
|
Scala |
40 |
Definition of the Viper intermediate verification language. |
Jul 31, 2022 |
|
Python |
778 |
Documentation for the angr suite |
Aug 11, 2022 |
|
Python |
2 |
Documentation for the angr suite |
Sep 28, 2023 |
|
C++ |
3 |
An intermediate language, created for the delta project |
Jan 17, 2023 |
|
Python |
4 |
C†: intermediate quantum programming language |
May 14, 2021 |
|
C++ |
2 |
Virtual-machine Translation Intermediate Language |
Jul 13, 2022 |
|
Dafny |
2 |
A verified intermediate verification language |
Mar 04, 2023 |
|
None |
2 |
Virtual-machine Translation Intermediate Language |
Jun 27, 2022 |
|
Python |
19 |
Python S-expression Intermediate Language |
Oct 04, 2022 |
|
None |
2 |
Virtual-machine Translation Intermediate Language |
Nov 26, 2022 |
|
Rust |
2 |
An experimental language intermediate representation |
Feb 14, 2024 |
|
None |
3 |
AIL Exchange Format |
Jun 13, 2022 |
|
SCSS |
2 |
AIL web-site |
May 01, 2022 |
|
Python |
189 |
Use angr inside GDB. Create an angr state from the current debugger state. |
May 06, 2023 |
|
Python |
2 |
This AIL feeder pushes annotated APK to an AIL instance |
Sep 13, 2022 |
|
Python |
33 |
Use angr inside the radare2 debugger. Create an angr state from the current debugger state. |
Mar 17, 2023 |
|
None |
45 |
The learn note of Angr-CTF .. |
Apr 26, 2023 |
|
Nix |
2 |
angr related nixpkgs |
Nov 14, 2021 |
|
Haskell |
2 |
Applying the dataflow algorithm to a monadic intermediate language. |
Mar 11, 2016 |
|
VimL |
3 |
Syntax file for the .NET Microsoft Intermediate Language Assembly |
Oct 27, 2022 |
|
Python |
6 |
Python library using the AIL Rest API |
May 13, 2022 |
|
C++ |
105 |
Compiler intermediate language for static analysis. |
Jun 01, 2022 |
|
Haskell |
37 |
An experimental intermediate language for GHC |
Oct 27, 2020 |
|
Python |
8 |
AIL LeakFeeder: A Module for AIL Framework that automate the process to feed leaked files … |
May 03, 2022 |
|
Python |
6 |
Discord feeder for AIL |
Mar 09, 2022 |
|
TeX |
13 |
AIL project training materials |
Feb 12, 2023 |
|
Scala |
42 |
Symbolic-execution-based verifier for the Viper intermediate verification language. |
Aug 08, 2022 |
|
Python |
334 |
use angr to deobfuscation |
Aug 19, 2022 |
|
Java |
393 |
Use angr in Ghidra |
Sep 06, 2022 |
|
Python |
3 |
Example scripts using angr |
Jun 14, 2023 |
|
OCaml |
238 |
Scilla - A Smart Contract Intermediate Level Language |
Aug 06, 2022 |
|
C |
16 |
Intermediate Compute Language with OpenCL/CUDA Backends |
Dec 16, 2021 |
|
Yacc |
2 |
Generates Intermediate code for language called "Simpl" |
Mar 11, 2023 |
|
Rust |
198 |
Intermediate Language (IL) for Hardware Accelerator Generators |
Aug 28, 2022 |
|
Python |
2 |
Ail feeder for certificate transparency |
Mar 05, 2023 |
|
Python |
2 |
AIL feeder for GitHub Repository |
Oct 22, 2023 |
|
Scala |
19 |
Verification-condition-generation-based verifier for the Viper intermediate verification language. |
Jul 20, 2022 |
|
None |
5 |
VSCode extension providing syntax highlighting for the SELinux kernel policy language and Common Intermediate Language. |
May 29, 2022 |
|
Rust |
12 |
Simple intermediate representation language for learning and research. |
Jun 27, 2022 |
|
Emacs Lisp |
4 |
An Emacs major mode for BAP's intermediate language |
May 02, 2022 |
|
Rust |
3 |
A simple intermediate language for generating EVM bytecode. |
Feb 10, 2023 |
|
Rust |
2 |
A mediocre angr clone (WIP) |
Dec 10, 2019 |
|
JavaScript |
3 |
AIL framework - Analysis Information Leak framework |
Feb 08, 2022 |