Projects in Awesome Lists tagged with software-analysis
A curated list of projects in awesome lists tagged with software-analysis .
https://github.com/nationalsecurityagency/ghidra
Ghidra is a software reverse engineering (SRE) framework
disassembler reverse-engineering software-analysis
Last synced: 20 Oct 2025
https://github.com/NationalSecurityAgency/ghidra
Ghidra is a software reverse engineering (SRE) framework
disassembler reverse-engineering software-analysis
Last synced: 17 Mar 2025
https://github.com/bootleg/ret-sync
ret-sync is a set of plugins that helps to synchronize a debugging session (WinDbg/GDB/LLDB/OllyDbg2/x64dbg) with IDA/Ghidra/Binary Ninja disassemblers.
binaryninja debugger disassembler ghidra ida-plugin ida-pro reverse-engineering software-analysis
Last synced: 15 May 2025
https://github.com/shining1984/pl-compiler-resource
程序语言与编译技术相关资料(持续更新中)
blog book compiler compilers-design conference course journal paper programming-languages runtime software-analysis virtual-machine
Last synced: 26 Jan 2026
https://github.com/shining1984/PL-Compiler-Resource
程序语言与编译技术相关资料(持续更新中)
blog book compiler compilers-design conference course journal paper programming-languages runtime software-analysis virtual-machine
Last synced: 17 Apr 2025
https://github.com/redasmorg/redasm
The OpenSource Disassembler
arm binary-analysis cplusplus cross-platform dalvik dex disassembler esp32 esp32-idf espressif ida ida-pro idapro linux mips qt5 reverse-engineering software-analysis xtensa
Last synced: 14 May 2025
https://github.com/REDasmOrg/REDasm
The OpenSource Disassembler
arm binary-analysis cplusplus cross-platform dalvik dex disassembler esp32 esp32-idf espressif ida ida-pro idapro linux mips qt5 reverse-engineering software-analysis xtensa
Last synced: 08 May 2025
https://github.com/vector35/binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
binary-analysis binaryninja decompilation intermediate-representation reverse-engineering reverseengineering software-analysis
Last synced: 14 May 2025
https://github.com/Vector35/binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
binary-analysis binaryninja decompilation intermediate-representation reverse-engineering reverseengineering software-analysis
Last synced: 26 Jul 2025
https://github.com/ultimate-pa/ultimate
The Ultimate program analysis framework.
automata ltl model-checking program-analysis reachability software-analysis termination
Last synced: 16 Jan 2026
https://github.com/Feysh-Group/corax-community
Corax for Java: A general static analysis framework for java code checking.
abstract-interpretation code-analysis cwe flowdroid java owasp program-analysis sarif sast security security-audit software-analysis soot static-analysis static-code-analysis taint-analysis vulnerability
Last synced: 27 Feb 2025
https://github.com/svf-tools/teaching-software-analysis
Teaching and Learning Software Analysis via SVF
course information-flow points-to-analysis software-analysis static-analysis taint-analysis
Last synced: 10 Jun 2025
https://github.com/fkie-cad/dewolf
A research decompiler implemented as a Binary Ninja plugin.
binary-analysis binaryninja binaryninja-plugin decompilation dewolf reverse-engineering software-analysis
Last synced: 04 Apr 2025
https://github.com/moosetechnology/Moose
MOOSE - Platform for software and data analysis.
data-analysis moose pharo smalltalk software-analysis
Last synced: 11 May 2025
https://github.com/moosetechnology/moose
MOOSE - Platform for software and data analysis.
data-analysis moose pharo smalltalk software-analysis
Last synced: 04 Apr 2025
https://github.com/UnitTestBot/UTBotJava
Automated unit test generation and precise code analysis for Java
intellij-plugin java software-analysis symbolic-execution test-generation
Last synced: 27 Feb 2025
https://github.com/utwente-fmt/vercors
The VerCors verification toolset for verifying parallel and concurrent software
c concurrency java opencl openmp parallelism separation-logic software-analysis vercors-toolset verification viper
Last synced: 27 Feb 2025
https://github.com/ropensci-review-tools/pkgcheck
Check whether a package is ready for submission to rOpenSci's peer-review system
compliance-automation r software-analysis software-checking
Last synced: 31 Oct 2025
https://github.com/ropensci-review-tools/pkgstats
Historical statistics of every R package ever
code-analysis code-statistics r software-analysis
Last synced: 22 Oct 2025
https://github.com/opticfusion1/kitsune
A program to help with reverse engineering java, vbs, batch, and html files
analysis hacktoberfest malware-analysis reverse-engineering software-analysis
Last synced: 21 Mar 2025
https://github.com/byt3n33dl3/gxc-ghidra
Software for Reverse Engineering (SRE) suite of tools Developed by NSA Research Directorate in support of the Cybersecurity processes.
cybersecurity diassemble nsa reverse-engineering software-analysis structure-analysis
Last synced: 16 Apr 2025
https://github.com/firstfault/trinity
Software reverse engineering tool for Java
bytecode decompiler deobfuscation disassembler java jvm obfuscation reverse-engineering software-analysis
Last synced: 10 Apr 2025
https://github.com/jnxf/advanced-software-analysis
:robot: Advanced Software Analysis
Last synced: 07 Jan 2026
https://github.com/kudzaiprichard/kudzaiprichard
Strong in design and integration problem-solving skills. Expert in solution development.
angular artificial-intelligence docker java javascript machine-learning nosql python scikit-learn software-analysis software-architecture-and-design spring-boot sql tensorflow typescript vscode
Last synced: 23 Apr 2025
https://github.com/rensr/aim-architecturecity
Architectural Intelligence Mining Framework
architecture architecture-mining hacktoberfest process-mining software-analysis
Last synced: 06 Dec 2025
https://github.com/vibheksoni/reversing-utils
A growing collection of open-source tools for reverse engineering, debugging, and software analysis. Includes utilities for process manipulation, binary inspection, and web analysis. Ideal for security researchers, developers, and CTF enthusiasts. Contribute and explore!
automation binary-analysis ctf-tools debug-tools debugging developer-tools hacking infosec linux-tools malware-analysis memory-inspection open-source process-injection process-manipulation reverse-engineering reversing-tools security-tools software-analysis utilities windows-tools
Last synced: 16 Jan 2026
https://github.com/z4nr34l/ghidra-macos-app
Ghidra macOS Application wrapper. Ghidra is a software reverse engineering (SRE) framework.
disassembler macos macos-app reverse-engineering software-analysis
Last synced: 01 Dec 2025
https://github.com/jnbdz/sre-quickstarts
Software Reverse Engineering (SRE) Quickstarts!
disassembler linux quickstart quickstarts reverse-engineering software-analysis software-reverse-engineering sre
Last synced: 28 Feb 2025
https://github.com/wanjinyoo/systems-analysis
System-Analysis
software-analysis software-design system-analysis ui-design
Last synced: 06 Mar 2025
https://github.com/mir-am/phd-thesis
My PhD Thesis: Machine Learning-assisted Software Analysis
ai machine-learning ml phd software-analysis software-engineering thesis tudelft
Last synced: 20 Jan 2026
https://github.com/vupdivup/diffhouse
diffhouse is a repository mining tool for structuring Git metadata at scale
git open-source python repository-mining software-analysis
Last synced: 20 Jan 2026
https://github.com/syuvraj19/syd-assignments
This repository contains Software Analysis and Design assignments from Seneca College's SYD366 and SYD466 courses.
class-diagram classification-model object-level-sequence-diagram software-analysis software-architecture software-design software-testing system-design
Last synced: 26 Dec 2025
https://github.com/24luca24/software-analysis
As a student in the Master's program in Software and Data Engineering, I am currently enrolled in a Software Analysis course. In this repository, I will share the work we did and the technologies we used in the course.
algorithms dafny-language software-analysis
Last synced: 11 Jan 2026
https://github.com/lucadibello/concurrency-spin-model-checker
SPIN model checker integration to verify the correctness of a sequential and concurrent program
concurrency model-checking promela software-analysis spin
Last synced: 05 Feb 2026