software-analysis

There are 28 repositories under software-analysis topic.

• NationalSecurityAgency / ghidra

  Ghidra is a software reverse engineering (SRE) framework

  disassemblerreverse-engineeringsoftware-analysis
  Language:Java 47998

• shining1984 / PL-Compiler-Resource

  程序语言与编译技术相关资料（持续更新中）

  compilercompilers-designsoftware-analysisvirtual-machineruntimecoursebookpaperblogconferencejournalprogramming-languages
  1941

• 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.

  reverse-engineeringdebuggerdisassemblersoftware-analysisida-proghidraida-pluginbinaryninja
  Language:C 1895
• REDasm

  REDasmOrg / REDasm

  The OpenSource Disassembler

  cplusplusqt5disassemblercross-platformreverse-engineeringbinary-analysisarmmipsdalvikida-proidaproidadexlinuxxtensaesp32espressifesp32-idfsoftware-analysis
  Language:C++ 1512
• binaryninja-api

  Vector35 / binaryninja-api

  Public API, examples, documentation and issues for Binary Ninja

  binaryninjareverseengineeringdecompilationbinary-analysisreverse-engineeringsoftware-analysisintermediate-representation
  Language:C++ 821

• astrelsky / Ghidra-Cpp-Class-Analyzer

  Ghidra C++ Class and Run Time Type Information Analyzer

  class-analyzerghidraghidra-analyzerghidra-extensionghidra-gcc-rttighidra-pluginreverse-engineeringrtti-analyzersoftware-analysis
  Language:Java 627

• secrary / DrSemu

  DrSemu - Sandboxed Malware Detection and Classification Tool Based on Dynamic Behavior

  malware-analysismalware-researchreverse-engineeringmalware-detectionbinary-analysissoftware-analysiswindows
  Language:C++ 266

• Feysh-Group / corax-community

  Corax for Java: A general static analysis framework for java code checking.

  abstract-interpretationcode-analysiscweflowdroidjavaowaspprogram-analysissarifsastsecuritysecurity-auditsoftware-analysissootstatic-analysisstatic-code-analysistaint-analysisvulnerability
  Language:Kotlin 199

• LegacyCodeHQ / eureka

  Breakthrough tooling to work with Kotlin and Java codebases 🚀

  javajvmkotlinlegacy-coderefactoringvisualizationsoftware-analysisandroiddeveloper-tools
  Language:Kotlin 185

• ultimate-pa / ultimate

  The Ultimate program analysis framework.

  program-analysismodel-checkingltlreachabilityterminationautomatasoftware-analysis
  Language:Java 184

• SVF-tools / Teaching-Software-Analysis

  Teaching and Learning Software Analysis via SVF

  software-analysisstatic-analysisinformation-flowtaint-analysiscoursepoints-to-analysis
  Language:C++ 179
• RESim

  mfthomps / RESim

  Reverse engineering software using a full system simulator

  aflfuzzingresimreverse-engineeringsimicssoftware-analysis
  Language:Python 166

• fkie-cad / dewolf

  A research decompiler implemented as a Binary Ninja plugin.

  binary-analysisbinaryninjabinaryninja-plugindecompilationdewolfreverse-engineeringsoftware-analysis
  Language:Python 158

• moosetechnology / Moose

  MOOSE - Platform for software and data analysis.

  pharosmalltalkdata-analysissoftware-analysismoose
  Language:Smalltalk 133

• UnitTestBot / UTBotJava

  Automated unit test generation and precise code analysis for Java

  intellij-pluginjavasoftware-analysissymbolic-executiontest-generation
  Language:Kotlin 130

• UnitTestBot / UTBotCpp

  Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

  software-analysistest-generationsymbolic-executionccppunit-testingstatic-analysisklee
  Language:C++ 122

• miyagaw61 / exgdb

  Extension for GDB

  ctfgdbgdb-pedapluginpwnexploitexploitationexploitsexploit-kitdebugdebuggerdebuggingdebugging-tooldebugging-toolssoftware-analysisdisassembler
  Language:Python 104
• vercors

  utwente-fmt / vercors

  The VerCors verification toolset for verifying parallel and concurrent software

  cconcurrencyjavaopenclopenmpparallelismseparation-logicsoftware-analysisvercors-toolsetverificationviper
  Language:Scala 49

• kohnakagawa / gdt_helper

  Ghidra Data Type (GDT) Helper

  disassemblerghidraghidra-gdtreverse-engineeringsoftware-analysis
  Language:Python 39

• TNO / Renaissance-Ada

  Tooling for analysis and manipulation of Ada software

  legacy-codeadarejuvenationdependenciessoftware-analysissoftware-transformationsoftware-manipulation
  27

• firstfault / Trinity

  Software reverse engineering tool for Java

  bytecodedecompilerdisassemblerjavajvmreverse-engineeringsoftware-analysisdeobfuscationobfuscation
  Language:Java 23

• JayFoxRox / ghidra-xbox-extensions

  Use https://github.com/mborgerson/ghidra-xbe instead

  software-analysisreverse-engineeringoriginalxboxxbeghidra
  Language:Java 20

• GrammaTech / gtirb-ghidra-plugin

  Ghidra plugin to handle GTIRB files

  software-analysisdisassemblerreverse-engineeringbinary-analysisgtirbintermediate-representationbinary-rewriting
  Language:Java 13

• pschild / CodeRadarVisualization

  3D visualization for code structure and code quality

  visualizationsoftware-analysissoftware-visualizationthreejsmetricssoftware-qualitysoftware-evolution
  Language:JavaScript 13

• OpticFusion1 / Kitsune

  A program to help with reverse engineering java, vbs, batch, and html files

  analysishacktoberfestmalware-analysisreverse-engineeringsoftware-analysis
  Language:Java 12

• Alex4386 / pe-parser

  PE/MZ Header Parser :: A crossplatform Windows PE/MS-DOS MZ Header Parser : Powered by @pay1oad-repo

  reverse-engineeringpe-analyzerpe-filewindowscrossplatformcpppe-headerpe-parsesoftware-analysismz-headermz-parserms-dos
  Language:C++ 10

• WeiFoo / EasyOverHard

  a case study on deep learning where tuning simple SVM is much faster and better than CNN

  parameter-tuningdeep-learningsoftware-analysis
  Language:Python 8

• YcheLanguageStudio / JavaRelatedStudy

  Software Analysis Course Study (Build With Gradle or Maven). course materials: notes, two assignments projects, reading reports. technologies included: randoop, soot, janala, gzoltar

  software-analysisrandoopjanala2coverage
  Language:Java 7

• maldil / software2.0-studytools

  Tools to study Software 2.0

  toolssoftware-analysisstatic-analysispythonsoftware-engineeringmachine-learning-projects
  Language:Python 6

• 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.

  aesavxavx2avx512disassemblerfmafpummxnasmssesse2sse3sse4tokenizerx86-64x87vmxsoftware-analysis
  Language:C 5

• JnxF / advanced-software-analysis

  :robot: Advanced Software Analysis

  software-analysisnotes
  Language:Idris 4

• kudzaiprichard / kudzaiprichard

  Strong in design and integration problem-solving skills. Expert in solution development.

  angularjavajavascriptpythonscikit-learnspring-boottensorflowtypescriptartificial-intelligencesoftware-analysissoftware-architecture-and-designvscodedockermachine-learningnosqlsql
  4

• ezekiel-soremekun / Software-Fairness-Analysis

  This is the repository for the paper titled: "Software Fairness: An Analysis and Survey", submitted to ACM Computing Survey.

  fairnessnon-functional-propertiessoftwaresoftware-analysissoftware-engineering
  3

• LegacyCodeHQ / cardbox

  Create JARs from Android projects for jQAssistant.

  androidarchitecturejqassistantkotlinmigrationmodularizationrefactoringsoftware-analysissoftware-analytics
  Language:Kotlin 3

• michaelboth / EventAnalyzer

  Software Event Analyzer: Instrumenting API and Graphical Visualizer

  event-analysishigh-performance-computinghpchpc-applicationssoftware-analysissoftware-developmentunikorn
  Language:C++ 3

• RensR / AIM-ArchitectureCity

  Architectural Intelligence Mining Framework

  architecturearchitecture-miningsoftware-analysisprocess-mininghacktoberfest
  Language:C# 3