GitHub topics: software-analysis
byt3n33dl3/gxc-Ghidra
Software for Reverse Engineering (SRE) suite of tools Developed by NSA Research Directorate in support of the Cybersecurity processes.
Language: C - Size: 87.6 MB - Last synced at: about 4 hours ago - Pushed at: 3 months ago - Stars: 15 - Forks: 0
ultimate-pa/ultimate
The Ultimate program analysis framework.
Language: Java - Size: 878 MB - Last synced at: about 15 hours ago - Pushed at: about 16 hours ago - Stars: 227 - Forks: 47
AlexeyTolstopyatov/SunFlower
Extensible binary static analysis
Language: C# - Size: 5.68 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 3 - Forks: 0
NationalSecurityAgency/ghidra
Ghidra is a software reverse engineering (SRE) framework
Language: Java - Size: 374 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 59,915 - Forks: 6,673
Vector35/binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
Language: C++ - Size: 95.6 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,089 - Forks: 251
ropensci-review-tools/pkgcheck
Check whether a package is ready for submission to rOpenSci's peer-review system
Language: R - Size: 6.86 MB - Last synced at: 1 day ago - Pushed at: 3 days ago - Stars: 24 - Forks: 15
ropensci-review-tools/pkgstats
Historical statistics of every R package ever
Language: R - Size: 1.77 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 19 - Forks: 3
secrary/DrSemu
DrSemu - Sandboxed Malware Detection and Classification Tool Based on Dynamic Behavior
Language: C++ - Size: 611 KB - Last synced at: 9 days ago - Pushed at: almost 6 years ago - Stars: 276 - Forks: 62
utwente-fmt/vercors
The VerCors verification toolset for verifying parallel and concurrent software
Language: Scala - Size: 541 MB - Last synced at: 1 day ago - Pushed at: 9 days ago - Stars: 78 - Forks: 32
singudotdev/singudotdev
Singu.DEV
Language: CSS - Size: 13.6 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
SVF-tools/Software-Analysis-Studio
Teaching and Learning Software Analysis via SVF
Language: C++ - Size: 28.6 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 209 - Forks: 132
michaelboth/EventAnalyzer
Software Event Analyzer: Instrumenting API and Graphical Visualizer
Language: C++ - Size: 51.3 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 3 - Forks: 0
UnitTestBot/UTBotJava
Automated unit test generation and precise code analysis for Java
Language: Kotlin - Size: 204 MB - Last synced at: 8 days ago - Pushed at: 19 days ago - Stars: 141 - Forks: 45
REDasmOrg/REDasm
The OpenSource Disassembler
Language: C++ - Size: 44.1 MB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 1,660 - Forks: 146
ezekiel-soremekun/Software-Fairness-Analysis
This is the repository for the paper titled: "Software Fairness: An Analysis and Survey", submitted to ACM Computing Survey.
Size: 29 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0
fkie-cad/dewolf
A research decompiler implemented as a Binary Ninja plugin.
Language: Python - Size: 4.51 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 196 - Forks: 9
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!
Language: C++ - Size: 5.86 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 1
mfthomps/RESim
Reverse engineering software using a full system simulator
Language: Python - Size: 34.1 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 183 - Forks: 39
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.
Language: Java - Size: 16.8 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
Alex4386-vault/pe-parser π¦
PE/MZ Header Parser :: A crossplatform Windows PE/MS-DOS MZ Header Parser : Powered by @pay1oad-repo
Language: C++ - Size: 850 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 11 - Forks: 1
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.
Language: C - Size: 2.66 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 2,166 - Forks: 276
moosetechnology/Moose
MOOSE - Platform for software and data analysis.
Language: Smalltalk - Size: 61.9 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 142 - Forks: 34
cooljeanius/ghidra Fork of NationalSecurityAgency/ghidra
Ghidra is a software reverse engineering (SRE) framework
Language: Java - Size: 360 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
shining1984/PL-Compiler-Resource
η¨εΊθ―θ¨δΈηΌθ―ζζ―ηΈε ³θ΅ζοΌζη»ζ΄ζ°δΈοΌ
Size: 126 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2,085 - Forks: 266
firstfault/Trinity
Software reverse engineering tool for Java
Language: Java - Size: 3.16 MB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 31 - Forks: 4
LegacyCodeHQ/eureka
Breakthrough tooling to work with Kotlin and Java codebases π
Language: Kotlin - Size: 87 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 192 - Forks: 7
Feysh-Group/corax-community
Corax for Java: A general static analysis framework for java code checking.
Language: Kotlin - Size: 38 MB - Last synced at: 6 months ago - Pushed at: 9 months ago - Stars: 239 - Forks: 20
mir-am/PhD-thesis
My PhD Thesis: Machine Learning-assisted Software Analysis
Language: TeX - Size: 27.6 MB - Last synced at: 5 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
UnitTestBot/UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Language: C++ - Size: 22 MB - Last synced at: 9 months ago - Pushed at: 11 months ago - Stars: 159 - Forks: 27
z4nr34l/ghidra-macos-app
Ghidra macOS Application wrapper. Ghidra is a software reverse engineering (SRE) framework.
Size: 1.95 KB - Last synced at: 6 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
OpticFusion1/Kitsune
A program to help with reverse engineering java, vbs, batch, and html files
Language: Java - Size: 376 KB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 13 - Forks: 2
seer-lab/concurrency_benchmark
Language: Java - Size: 4.15 MB - Last synced at: 9 days ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0
syuvraj19/SYD-Assignments
This repository contains Software Analysis and Design assignments from Seneca College's SYD366 and SYD466 courses.
Size: 27.8 MB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
astrelsky/Ghidra-Cpp-Class-Analyzer π¦
Ghidra C++ Class and Run Time Type Information Analyzer
Language: Java - Size: 1.65 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 629 - Forks: 50
lucadibello/concurrency-spin-model-checker
SPIN model checker integration to verify the correctness of a sequential and concurrent program
Language: TeX - Size: 1.83 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
TNO/Renaissance-Ada
Tooling for analysis and manipulation of Ada software
Size: 1.18 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 28 - Forks: 2
CAIMEOX/why3
Mirror of Why3 in gitlab
Language: OCaml - Size: 170 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
asimbaidya/glamsage
This is a required project for CSE 471 in my Bracu undergraduate.
Language: HTML - Size: 29.5 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
JayFoxRox/ghidra-xbox-extensions π¦
Use https://github.com/mborgerson/ghidra-xbe instead
Language: Java - Size: 7.81 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 20 - Forks: 5
maldil/software2.0-studytools
Tools to study Software 2.0
Language: Python - Size: 9.82 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0
miyagaw61/exgdb
Extension for GDB
Language: Python - Size: 393 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 104 - Forks: 7
kudzaiprichard/kudzaiprichard
Strong in design and integration problem-solving skills. Expert in solution development.
Size: 2.02 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 1
LegacyCodeHQ/cardbox
Create JARs from Android projects for jQAssistant.
Language: Kotlin - Size: 6.55 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
jnbdz/sre-quickstarts
Software Reverse Engineering (SRE) Quickstarts!
Size: 335 KB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
WeiFoo/EasyOverHard
a case study on deep learning where tuning simple SVM is much faster and better than CNN
Language: Python - Size: 22.1 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 3
kj96/Software_Engg
Repo for Software Engg lab
Size: 0 Bytes - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
Francy93/CPP-Projects
Explore the world of C++ with four impressive projects! This repository showcases software engineering and management projects, including a music shop manager, a library system with optimized searches, and more. Level up your C++ skills here! ππΆπ
Language: C++ - Size: 68.7 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
kohnakagawa/gdt_helper
Ghidra Data Type (GDT) Helper
Language: Python - Size: 172 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 33 - Forks: 4
GrammaTech/gtirb-ghidra-plugin
Ghidra plugin to handle GTIRB files
Language: Java - Size: 31.5 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 12 - Forks: 2
pschild/CodeRadarVisualization
3D visualization for code structure and code quality
Language: JavaScript - Size: 17.8 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 14 - Forks: 1
dmr4eg/gymManager Fork of andneh/GymManager
Software modeling semester project
Size: 5.74 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
JnxF/advanced-software-analysis
:robot: Advanced Software Analysis
Language: Idris - Size: 362 KB - Last synced at: 5 months ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0
gvaduha/CrisisManagement π¦
Pilot design for Global Company Crisis Management system
Language: C# - Size: 1.02 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
RensR/AIM-ArchitectureCity
Architectural Intelligence Mining Framework
Language: C# - Size: 1000 KB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
RachamimYaakobov/dnSpy Fork of dnSpy/dnSpy
.NET debugger and assembly editor
Size: 33.4 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
usama-s786/syd366
Repository with files that I worked upon during the SYD366 (Software Analysis and Design) course.
Size: 2.2 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 1
6A1AC71C-60A7/Apolloclipse
X86-64 bilateral instruction tokenizer implemented in C. Supports the following processor extensions: AES, AVX, AVX2, AVX512, FMA, MMX, SSE, SSE2, SSE3, SSE4, x87(FPU), VMX. In order to ease testing, a diassembler which transforms tokens into compilable assembly (for NASM compiler) has been implemented.
Language: C - Size: 451 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 0
saruman9/ghidra Fork of NationalSecurityAgency/ghidra
Ghidra is a software reverse engineering (SRE) framework
Language: Java - Size: 346 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
chriskn/sat
Software analysis toolbox
Language: Python - Size: 1.05 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1
scrool/ansible-role-ghidra
Ansible role to install or uninstall Ghidra - a software reverse engineering (SRE) framework
Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
redbullhorns/RickStore
Language: Objective-C - Size: 15.6 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
WanjinYoo/Systems-Analysis
System-Analysis
Size: 6.7 MB - Last synced at: 6 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
ultimate-pa/ultimate-benchmarks
Language: C - Size: 61.6 MB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0