├── .gitignore ├── Dockerfile ├── LICENSE ├── Makefile ├── README.md ├── arbiter ├── __init__.py ├── master_chief │ ├── __init__.py │ ├── sa_advanced.py │ ├── sa_base.py │ ├── sa_recon.py │ └── symbolic_execution.py ├── target.py └── utils.py ├── dataset ├── binary_stats.zip ├── debian_list ├── juliet_testcases.zip └── package_list ├── examples ├── README.md ├── cve-binaries │ ├── cve-2018-10388 │ ├── cve-2022-26495 │ └── cve-XXXX-YYYY ├── cve-logs │ ├── README.md │ ├── cve-2018-10388 │ │ ├── DDA.json │ │ ├── Recon.json │ │ ├── UCSE.json │ │ └── arbiter_vd_cve-2018-10388_cve-2018-10388.log │ ├── cve-2022-26495 │ │ ├── DDA.json │ │ ├── Recon.json │ │ ├── UCSE.json │ │ └── arbiter_vd_cve-2022-26495_cve-2022-26495.log │ └── cve-xxxx-yyyy │ │ ├── DDA.json │ │ ├── Recon.json │ │ ├── UCSE.json │ │ └── arbiter_vd_cve-xxxx-yyyy_cve-XXXX-YYYY.log └── cve-vuln_templates │ ├── vd_cve-2018-10388.py │ ├── vd_cve-2022-26495.py │ └── vd_cve-xxxx-yyyy.py ├── overview.png ├── setup.py ├── test_files ├── README.md ├── test.c └── test_arbiter.py └── vuln_templates ├── CWE131.py ├── CWE134.py ├── CWE190_juliet_signed.py ├── CWE190_juliet_unsigned.py ├── CWE252.py ├── CWE337.py ├── CWE680_juliet.py ├── README.md ├── kubernetes_wrapper.sh ├── run_arbiter.py └── syscalls_annotated.json /.gitignore: -------------------------------------------------------------------------------- 1 | arbiter.egg-info/ 2 | build/ 3 | logs/ 4 | dist/ 5 | **/__pycache__ 6 | *.elf 7 | -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/README.md -------------------------------------------------------------------------------- /arbiter/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/arbiter/__init__.py -------------------------------------------------------------------------------- /arbiter/master_chief/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/arbiter/master_chief/__init__.py -------------------------------------------------------------------------------- /arbiter/master_chief/sa_advanced.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/arbiter/master_chief/sa_advanced.py -------------------------------------------------------------------------------- /arbiter/master_chief/sa_base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/arbiter/master_chief/sa_base.py -------------------------------------------------------------------------------- /arbiter/master_chief/sa_recon.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/arbiter/master_chief/sa_recon.py -------------------------------------------------------------------------------- /arbiter/master_chief/symbolic_execution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/arbiter/master_chief/symbolic_execution.py -------------------------------------------------------------------------------- /arbiter/target.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/arbiter/target.py -------------------------------------------------------------------------------- /arbiter/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/arbiter/utils.py -------------------------------------------------------------------------------- /dataset/binary_stats.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/dataset/binary_stats.zip -------------------------------------------------------------------------------- /dataset/debian_list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/dataset/debian_list -------------------------------------------------------------------------------- /dataset/juliet_testcases.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/dataset/juliet_testcases.zip -------------------------------------------------------------------------------- /dataset/package_list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/dataset/package_list -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/cve-binaries/cve-2018-10388: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-binaries/cve-2018-10388 -------------------------------------------------------------------------------- /examples/cve-binaries/cve-2022-26495: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-binaries/cve-2022-26495 -------------------------------------------------------------------------------- /examples/cve-binaries/cve-XXXX-YYYY: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-binaries/cve-XXXX-YYYY -------------------------------------------------------------------------------- /examples/cve-logs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-logs/README.md -------------------------------------------------------------------------------- /examples/cve-logs/cve-2018-10388/DDA.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-logs/cve-2018-10388/DDA.json -------------------------------------------------------------------------------- /examples/cve-logs/cve-2018-10388/Recon.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-logs/cve-2018-10388/Recon.json -------------------------------------------------------------------------------- /examples/cve-logs/cve-2018-10388/UCSE.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-logs/cve-2018-10388/UCSE.json -------------------------------------------------------------------------------- /examples/cve-logs/cve-2018-10388/arbiter_vd_cve-2018-10388_cve-2018-10388.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-logs/cve-2018-10388/arbiter_vd_cve-2018-10388_cve-2018-10388.log -------------------------------------------------------------------------------- /examples/cve-logs/cve-2022-26495/DDA.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-logs/cve-2022-26495/DDA.json -------------------------------------------------------------------------------- /examples/cve-logs/cve-2022-26495/Recon.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-logs/cve-2022-26495/Recon.json -------------------------------------------------------------------------------- /examples/cve-logs/cve-2022-26495/UCSE.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-logs/cve-2022-26495/UCSE.json -------------------------------------------------------------------------------- /examples/cve-logs/cve-2022-26495/arbiter_vd_cve-2022-26495_cve-2022-26495.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-logs/cve-2022-26495/arbiter_vd_cve-2022-26495_cve-2022-26495.log -------------------------------------------------------------------------------- /examples/cve-logs/cve-xxxx-yyyy/DDA.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-logs/cve-xxxx-yyyy/DDA.json -------------------------------------------------------------------------------- /examples/cve-logs/cve-xxxx-yyyy/Recon.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-logs/cve-xxxx-yyyy/Recon.json -------------------------------------------------------------------------------- /examples/cve-logs/cve-xxxx-yyyy/UCSE.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-logs/cve-xxxx-yyyy/UCSE.json -------------------------------------------------------------------------------- /examples/cve-logs/cve-xxxx-yyyy/arbiter_vd_cve-xxxx-yyyy_cve-XXXX-YYYY.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-logs/cve-xxxx-yyyy/arbiter_vd_cve-xxxx-yyyy_cve-XXXX-YYYY.log -------------------------------------------------------------------------------- /examples/cve-vuln_templates/vd_cve-2018-10388.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-vuln_templates/vd_cve-2018-10388.py -------------------------------------------------------------------------------- /examples/cve-vuln_templates/vd_cve-2022-26495.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-vuln_templates/vd_cve-2022-26495.py -------------------------------------------------------------------------------- /examples/cve-vuln_templates/vd_cve-xxxx-yyyy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/examples/cve-vuln_templates/vd_cve-xxxx-yyyy.py -------------------------------------------------------------------------------- /overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/overview.png -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/setup.py -------------------------------------------------------------------------------- /test_files/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/test_files/README.md -------------------------------------------------------------------------------- /test_files/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/test_files/test.c -------------------------------------------------------------------------------- /test_files/test_arbiter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/test_files/test_arbiter.py -------------------------------------------------------------------------------- /vuln_templates/CWE131.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/vuln_templates/CWE131.py -------------------------------------------------------------------------------- /vuln_templates/CWE134.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/vuln_templates/CWE134.py -------------------------------------------------------------------------------- /vuln_templates/CWE190_juliet_signed.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/vuln_templates/CWE190_juliet_signed.py -------------------------------------------------------------------------------- /vuln_templates/CWE190_juliet_unsigned.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/vuln_templates/CWE190_juliet_unsigned.py -------------------------------------------------------------------------------- /vuln_templates/CWE252.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/vuln_templates/CWE252.py -------------------------------------------------------------------------------- /vuln_templates/CWE337.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/vuln_templates/CWE337.py -------------------------------------------------------------------------------- /vuln_templates/CWE680_juliet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/vuln_templates/CWE680_juliet.py -------------------------------------------------------------------------------- /vuln_templates/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/vuln_templates/README.md -------------------------------------------------------------------------------- /vuln_templates/kubernetes_wrapper.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/vuln_templates/kubernetes_wrapper.sh -------------------------------------------------------------------------------- /vuln_templates/run_arbiter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/vuln_templates/run_arbiter.py -------------------------------------------------------------------------------- /vuln_templates/syscalls_annotated.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jkrshnmenon/arbiter/HEAD/vuln_templates/syscalls_annotated.json --------------------------------------------------------------------------------