GitHub topics: program-analysis

Repositories

kupl/VeriSmart-public

a safety verifier for Solidity smart contracts

Language: OCaml - Size: 220 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 93 - Forks: 24

enkomio/Sojobo

A binary analysis framework

Language: F# - Size: 27.9 MB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 132 - Forks: 18

GlacierW/MBA

Malware Behavior Analyzer

Language: C - Size: 24.7 MB - Last synced at: about 1 month ago - Pushed at: about 8 years ago - Stars: 159 - Forks: 38

PKU-ASAL/WASEM

WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries

Language: WebAssembly - Size: 2.34 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 13 - Forks: 6

mimicji/FuncCallTracer

A DynamoRio-based function call tracer.

Language: C++ - Size: 21.5 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

unpackdev/solgo

Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts.

Language: Go - Size: 157 MB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 3 - Forks: 0

jar-analyzer/jar-analyzer-v1-gui 📦

建议使用新版：https://github.com/jar-analyzer/jar-analyzer

Language: Java - Size: 20.2 MB - Last synced at: 7 months ago - Pushed at: over 1 year ago - Stars: 894 - Forks: 107

pfalcon/ScratchABlock

Yet another crippled decompiler project

Language: Python - Size: 905 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 104 - Forks: 23

lu-cs-sde/clog Fork of lu-cs-sde/metadl

A declarative language for C static code checkers

Language: C - Size: 27.5 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

HairyFotr/linter 📦

Static Analysis Compiler Plugin for Scala

Language: Scala - Size: 2.06 MB - Last synced at: 5 months ago - Pushed at: almost 7 years ago - Stars: 268 - Forks: 34

formalsec/wasp

WASP was superseded by: https://github.com/OCamlPro/owi

Language: OCaml - Size: 152 MB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 14 - Forks: 1

JHU-PL-Lab/dde

Pure Demand Operational Semantics

Language: OCaml - Size: 671 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0

jiezhoucs/must-read

Lists of must-read papers (mainly security papers)

Size: 338 KB - Last synced at: 9 months ago - Pushed at: 10 months ago - Stars: 25 - Forks: 0

SRI-CSL/bixie

Inconsistent code detection for Java.

Language: Java - Size: 32 MB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 14 - Forks: 6

bingrao/code2abs

A tool to extract context information from input java code for machine learning models

Language: Scala - Size: 26.2 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

Intelligent-CAT-Lab/UIUCPlus

Evaluation task for 2024 UIUC+ undergraduate interns

Language: Java - Size: 95.9 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 7 - Forks: 59

miyamok/smartcontract-verification

Formal verification tool for Solidity

Language: Haskell - Size: 289 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

null1024-ws/Poisoning-Attack-on-Code-Completion-Models

Paper "An LLM-Assisted Easy-to-Trigger Poisoning Attack on Code Completion Models: Injecting Disguised Vulnerabilities against Strong Detection"

Language: Python - Size: 58 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

purseclab/lightblue

An automatic framework to remove unneeded and unsafe code from Bluetooth stacks of Android and Linux, using both source code analysis (LLVM) and binary analysis (angr).

Language: C++ - Size: 169 MB - Last synced at: 12 months ago - Pushed at: almost 3 years ago - Stars: 22 - Forks: 2

agra-uni-bremen/BinSym

Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model

Language: Haskell - Size: 116 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 31 - Forks: 3

plast-lab/HeapDL

Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.

Language: Java - Size: 455 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 14 - Forks: 1

Koukyosyumei/Gymbo

gradient-based symbolic execution engine implemented from scratch

Language: C++ - Size: 10.1 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 35 - Forks: 0

songyahui/infer_TempFix

ProveNFix is a program analysis/repair tool for temporal properties for C language.

Language: OCaml - Size: 139 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

jungs1/solidity-static-code-analyzer

exploring the basics of static code analysis for fun

Language: Python - Size: 1.48 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

CompL-Research/stava

Stava is a static program analysis for identifying stack allocable objects of code written in Java 8

Language: Java - Size: 27.6 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 6

immarianaas/pa-23

Project & Assignments 🐍 ☕ | Program Analysis - DTU 2023/2024

Language: Python - Size: 5.02 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

mmoschenskikh/dynamic-program-slicing-russian

Russian translation (excerpts) of 1990 «Dynamic Program Slicing» article by Hiralal Agrawal and Joseph Robert Horgan

Size: 700 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

SwathiSBhat/Static-program-analysis-techniques

Implementation of different forms of static program analysis techniques

Language: C++ - Size: 6.14 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

zhoumingyi/CustomDLCoder

Code for our paper "Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models" that has been accepted by ISSTA'24

Language: Python - Size: 155 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

agustingianni/instrumentation

Assorted pintools

Language: C++ - Size: 771 KB - Last synced at: 30 days ago - Pushed at: about 5 years ago - Stars: 30 - Forks: 7

Symbolk/Code2Graph

Towards converting multilingual source code into one language-agnostic graph representation.

Language: Java - Size: 50.6 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 38 - Forks: 7

ktrianta/rust-callgraph-benchmark

A benchmark for Rust call-graph generators

Language: Rust - Size: 85.9 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 4

CodeMindICML/CodeMindICML

CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that enables in-depth analysis of the results.

Size: 55.8 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Lancern/llvm-anderson

Anderson points-to analysis implementation based on LLVM

Language: C++ - Size: 132 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 12 - Forks: 1

Enna1/LLVM-Study-Notes

Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0

Language: Python - Size: 4.91 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 125 - Forks: 18

dvm-system/tsar

TSAR (Traits Static AnalyzeR)

Language: C++ - Size: 3.96 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 17

harmim/infer Fork of facebook/infer

A static analyzer for Java, C, C++, and Objective-C.

Language: OCaml - Size: 149 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

manishshettym/yappy

yappy: yet another program analyzer for python

Language: Python - Size: 567 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

harmim/vut-ibt

Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations

Language: C - Size: 33.8 MB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 1

erkaii/Tai-e-assignments Fork of pascal-lab/Tai-e-assignments

My solutions to Tai-e assignments for static program analysis

Language: Java - Size: 28.8 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rvprasad/Indus_archive 📦

A program analysis and slicing library for concurrent Java.

Language: Java - Size: 96.3 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 0

soarsmu/AutoPruner

AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)

Language: Python - Size: 950 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 17 - Forks: 3

wei-le/programanalysiscourse

COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University

Language: C - Size: 110 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 26 - Forks: 6

oyeb/distillery

Program analysis and Graph abstractions

Language: CMake - Size: 222 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

ucsb-seclab/sasi

Signedness-Agnostic Strided-Interval

Language: C++ - Size: 24.6 MB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 34 - Forks: 9

canliture/nju-software-analysis-homework

南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference

Language: Java - Size: 2.51 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 275 - Forks: 38

szabta89/IncA 📦

Incremental Program Analysis Framework

Language: Xtend - Size: 110 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 83 - Forks: 6

ghaffarian/progex 📦

PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code

Language: Java - Size: 20.5 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 73 - Forks: 32

GaloisInc/surveyor

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

Language: Haskell - Size: 802 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 18 - Forks: 1

facumolina/ds-classification

A Neural Network approach to Data Structure Object Classification

Language: Python - Size: 381 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

raytheonbbn/weldr

Create single-executable models of distributed systems.

Language: C - Size: 159 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 18 - Forks: 2

segroup-uni-trier/codesparks-pmd-demo

This is a demo implementation of a CodeSparks plugin for the IntelliJ IDEA.

Language: Java - Size: 3.31 MB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

segroup-uni-trier/codesparks-framework

The CodeSparks framework aims to facilitate the integration of software analysis tools into the IDE such that their results are shown as glyph-based visualizations in the source code.

Language: Java - Size: 1.04 MB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

trucnguyenlam/LLVMVerifier

Verification of C/C++ Programs based on LLVM IR

Size: 1000 Bytes - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

thebabush/tbits

Three-valued bit vector for python with built-in bit-level taint analysis.

Language: Python - Size: 8.79 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0

BinaryAnalysisPlatform/bap-python

BAP python bindings

Language: Python - Size: 67.4 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 20 - Forks: 12

shuwang127/BinRNN

Provenance Analysis of Binary Code with RNN model.

Language: Python - Size: 333 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

krlu/AMP

A general program analysis tool built on top of the SPOON API

Language: Scala - Size: 81.1 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

JuanmaCopia/lissa

LISSA: An efficient symbolic execution approach for programs manipulating complex heap-allocated data structures.

Language: Java - Size: 43.1 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

JuanmaCopia/SymSolve

SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.

Language: Java - Size: 3.01 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

xcalcc/labrador

C/C++ standard compliance analyzer

Language: C - Size: 1.75 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

thebabush/binja_sibyl

A (Miasm2 + binaryninja) based function divination.

Language: Python - Size: 7.81 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 14 - Forks: 5

divyeshunadkat/divyeshunadkat.github.io

Personal Webpage

Language: HTML - Size: 19.9 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

malusamayo/leakage-analysis

A static analysis tool to detect test data leakage in Python notebooks

Language: Python - Size: 340 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 11 - Forks: 1

frank2/miasm-se-attack

Repository for a functional attack on miasm's default symbolic execution engine plus solutions!

Language: Python - Size: 11.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

SecPhD/.github

SecPhD is a security research team that focuses on the field of application security.

Size: 7.81 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

Jacopo00811/02141_Computer_Science_Modelling

02141 Computer Science Modelling Spring 23 DTU

Language: F# - Size: 15.2 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

raytheonbbn/torch

Inspect, edit, and rebuild binary object files

Language: Python - Size: 43 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 8 - Forks: 1

spideruci/tacoco

Integrated Software Analysis Framework

Language: Java - Size: 5.95 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 7

malusamayo/notebooks-analysis Fork of andrewhead/python-program-analysis

A tool for generating documentation information for jupyter notebooks via program analysis & synthesis.

Language: JavaScript - Size: 73.9 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

Enna1/LLVM-Clang-Examples

A collection of code based on LLVM/Clang compilation libraries and tools

Language: C++ - Size: 6.94 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 30 - Forks: 3

euske/symex

Symbolic Execution for Python

Language: Python - Size: 20.5 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

ALFA-group/adversarial-code-generation

[ICLR 2021] "Generating Adversarial Computer Programs using Optimized Obfuscations" by Shashank Srikant, Sijia Liu, Tamara Mitrovska, Shiyu Chang, Quanfu Fan, Gaoyuan Zhang, and Una-May O'Reilly

Language: Python - Size: 16.2 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 19 - Forks: 4

mimicji/FlowMatrix

FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22

Language: C++ - Size: 1.85 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 15 - Forks: 2

borzacchiello/naaz

Symbolic Execution Engine based on Ghidra's PCode

Language: C++ - Size: 291 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 75 - Forks: 4

tomasraposo/PyDD

A hybrid algorithmic debugger and program synthesis engine for Python

Language: Python - Size: 375 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

sg-first/SG-AST

Generic program analysis framework

Language: C++ - Size: 77.1 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

Emoun/progysis-java 📦

Program Analysis framework for Java

Language: Java - Size: 68.4 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

spideruci/blinky 📦

Java Code Instrumenter and Execution Tracer

Size: 10.7 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 5

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

program-analysis 231 static-analysis 58 java 28 symbolic-execution 26 reverse-engineering 25 binary-analysis 22 llvm 21 dynamic-analysis 20 security 18 abstract-interpretation 17 python 14 taint-analysis 13 c 13 ocaml 11 static-code-analysis 11 compiler 10 debugging 8 malware-analysis 8 concurrency 8 soot 7 formal-verification 7 android 7 programming-language 7 pointer-analysis 6 static-analyzer 6 cpp 6 verification 6 solidity 6 facebook-infer 5 facebook 5 atomicity-violation 5 atomicity 5 runtime-verification 5 datalog 5 compilers 5 security-tools 5 ethereum 5 x86-64 5 x86 5 deobfuscation 5 llvm-ir 5 hacktoberfest 5 software-engineering 5 machine-learning 5 dataflow-analysis 5 debugger 5 disassembler 5 testing 4 software-verification 4 slicing 4 program-transformation 4 visualization 4 llvm-pass 4 vut-fit 4 data-flow-analysis 4 software-analysis 4 vut 4 rust 4 scala 4 smart-contracts 4 z3 4 blockchain 4 clang 4 program-repair 4 unit-testing 4 instruction-semantics 4 lifter 4 type-checking 3 invariants 3 java-decompiler 3 intermediate-representation 3 decompiler 3 vulnerability-detection 3 race-detection 3 vulnerability-research 3 java-bytecode 3 model-checking 3 termination 3 program-slicing 3 ast 3 jimple 3 bytecode 3 binary 3 callgraph 3 angr 3 program-verification 3 malware-research 3 control-flow-graph 3 bap 3 python3 3 llvm-tutorial 3 programming-languages 3 optimization 3 control-flow-analysis 3 entropy 3 refactoring 3 fuzzing 3 atomer 3 vulnerability 3 concurrent-programs 3