secure-software-engineering/PathExpression

An implementation of Tarjan's PathExpression algorithm

Language: Java - Size: 113 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 6 - Forks: 2

secure-software-engineering/phasar

A LLVM-based static analysis framework.

Language: C++ - Size: 120 MB - Last synced at: about 15 hours ago - Pushed at: about 15 hours ago - Stars: 978 - Forks: 145

secure-software-engineering/Boomerang

Demand-Driven Pointer Analysis

Language: Java - Size: 94.8 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 13 - Forks: 6

secure-software-engineering/FlowDroid

FlowDroid Static Data Flow Tracker

Language: Java - Size: 57.2 MB - Last synced at: 16 days ago - Pushed at: 19 days ago - Stars: 1,108 - Forks: 304

secure-software-engineering/DroidBench

A micro-benchmark suite to assess the stability of taint-analysis tools for Android

Language: Java - Size: 103 MB - Last synced at: 21 days ago - Pushed at: about 2 years ago - Stars: 277 - Forks: 114

secure-software-engineering/SparseBoomerang Fork of secure-software-engineering/Boomerang

Sparse Demand-Driven Pointer Analysis

Language: Java - Size: 91.9 MB - Last synced at: 16 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

secure-software-engineering/TypeEvalPy

A Micro-benchmarking Framework for Python Type Inference Tools

Language: Python - Size: 29.3 MB - Last synced at: 1 minute ago - Pushed at: about 1 hour ago - Stars: 33 - Forks: 2

secure-software-engineering/SuSi

SuSi - our tool to automatically discover sources and sinks in the Android framework

Language: Java - Size: 10.7 MB - Last synced at: 19 days ago - Pushed at: over 8 years ago - Stars: 147 - Forks: 74

secure-software-engineering/paper-idesolverxx

Supplementary website for the paper "Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications"

Language: HTML - Size: 597 KB - Last synced at: 2 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0

secure-software-engineering/secucheck-core

Taint Analysis on top of Soot.

Language: Java - Size: 36.4 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 11 - Forks: 3

secure-software-engineering/HeaderGen

HeaderGen annotates Jupyter notebooks using static analysis. Improves PyCG's call graph analysis by supporting external libraries and flow-sensitivity.

Language: Jupyter Notebook - Size: 40 MB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 14 - Forks: 1

secure-software-engineering/SootFX

A Static Code Feature Extraction Tool for Java and Android

Language: Java - Size: 35.5 MB - Last synced at: 16 days ago - Pushed at: almost 2 years ago - Stars: 20 - Forks: 4

secure-software-engineering/SparseIDE

Sparse IDE/IFDS solver and client implementation

Size: 653 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1

secure-software-engineering/swan

Security methods for WeAkNess detection

Language: Java - Size: 188 MB - Last synced at: 16 days ago - Pushed at: about 2 months ago - Stars: 20 - Forks: 7

secure-software-engineering/PointerBench

A points-to and alias analysis benchmark suite

Language: Java - Size: 179 KB - Last synced at: 16 days ago - Pushed at: over 6 years ago - Stars: 40 - Forks: 7

secure-software-engineering/secucheck

Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.

Language: Java - Size: 3.08 MB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 17 - Forks: 7

secure-software-engineering/upcy

UpCy automatically finds compatible updates for Maven dependencies.

Language: Java - Size: 236 KB - Last synced at: 16 days ago - Pushed at: 6 months ago - Stars: 8 - Forks: 1

secure-software-engineering/sootdiff

SootDiff - Bytecode Comparison Across Different Java Compilers

Language: Java - Size: 8.64 MB - Last synced at: 16 days ago - Pushed at: 11 months ago - Stars: 18 - Forks: 4

secure-software-engineering/achilles-benchmark-depscanners

Achilles - Benchmark for assessing OSS-Vulnerability Scanners 59

Language: Java - Size: 30.6 MB - Last synced at: 16 days ago - Pushed at: 5 months ago - Stars: 7 - Forks: 4

secure-software-engineering/jadx-taintdoc

Jadx extended to ease documentation of taint flows

Language: Java - Size: 11.6 MB - Last synced at: 7 days ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 1

secure-software-engineering/SWARM-CG

Swiss Army Knife of Call Graph Micro-Benchmark

Language: Python - Size: 731 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

secure-software-engineering/COVA

COVA - A static analysis tool to compute path conditions

Language: Python - Size: 293 MB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 32 - Forks: 8

secure-software-engineering/Jimple-Interpreter

Soot based Jimple interpreter

Language: Java - Size: 477 KB - Last synced at: 16 days ago - Pushed at: about 4 years ago - Stars: 14 - Forks: 3

secure-software-engineering/authcheck

Analysis for access-control vulnerabilities in Java Spring Security applications.

Language: JavaScript - Size: 11.4 MB - Last synced at: 16 days ago - Pushed at: almost 3 years ago - Stars: 14 - Forks: 3

secure-software-engineering/ideal

IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis

Language: Java - Size: 31.6 MB - Last synced at: 16 days ago - Pushed at: about 7 years ago - Stars: 10 - Forks: 7

secure-software-engineering/DroidForce

DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.

Language: Java - Size: 42.8 MB - Last synced at: 16 days ago - Pushed at: about 9 years ago - Stars: 18 - Forks: 15

secure-software-engineering/neck

Language: C++ - Size: 241 MB - Last synced at: 16 days ago - Pushed at: 10 months ago - Stars: 3 - Forks: 3

secure-software-engineering/android-instrumentation-tutorial

Language: Logos - Size: 29.7 MB - Last synced at: 2 months ago - Pushed at: over 11 years ago - Stars: 10 - Forks: 11

secure-software-engineering/opcua-scanner

An opcua client scanning for servers in a network

Language: Java - Size: 252 KB - Last synced at: 16 days ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 3

secure-software-engineering/tamiflex

TamiFlex facilitates static analysis of programs that use reflection and custom class loaders

Language: Java - Size: 15 MB - Last synced at: 16 days ago - Pushed at: almost 4 years ago - Stars: 42 - Forks: 13

secure-software-engineering/SPDS-experiments

Language: Java - Size: 127 MB - Last synced at: 16 days ago - Pushed at: over 6 years ago - Stars: 11 - Forks: 1

secure-software-engineering/TS4J

A fluent interface for defining and computing typestate analyses

Language: Java - Size: 72 MB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

secure-software-engineering/cards

Component-based Assumptions and Restrictions for Dataflow Specifications

Language: Java - Size: 2.62 MB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

secure-software-engineering/modguard

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

secure-software-engineering/SPLlift

Language: Java - Size: 38.2 MB - Last synced at: 16 days ago - Pushed at: almost 10 years ago - Stars: 14 - Forks: 3

secure-software-engineering/tamiflex.benchmarks

Automatically exported from code.google.com/p/tamiflex.benchmarks

Language: Diff - Size: 135 MB - Last synced at: 2 months ago - Pushed at: about 10 years ago - Stars: 1 - Forks: 0

secure-software-engineering/spring-petclinic-kotlin

Vulnerable version of the Spring PetClinic application in Kotlin

Language: Kotlin - Size: 438 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

secure-software-engineering/cheetah

Eclipse plugin for a JIT taint analysis

Language: Java - Size: 42 MB - Last synced at: 16 days ago - Pushed at: almost 7 years ago - Stars: 8 - Forks: 8

secure-software-engineering/vulnerability-of-the-day Fork of votd/vulnerability-of-the-day

A pedagogically-curated collection of vulnerability demonstrations for undergraduate software engineering students.

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

secure-software-engineering/FalseCrypt

Language: Java - Size: 197 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1

secure-software-engineering/visuflow

VisuFlow - An Eclipse plugin that helps static code developers in writing static analyses on top of Soot.

Language: Java - Size: 54.9 MB - Last synced at: 8 days ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 3

secure-software-engineering/CogniCrypt-CI-Integration

This repository contains code for a Jenkins adaptor for CogniCrypt which is based on warnings-ng-plugin https://github.com/jenkinsci/warnings-ng-plugin

Language: Java - Size: 61.5 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 1

secure-software-engineering/z3 Fork of Z3Prover/z3

The Z3 Theorem Prover

Language: C++ - Size: 110 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

secure-software-engineering/secucheck-catalog

Size: 803 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 3

secure-software-engineering/CogniCrypt-IntelliJ

Static Code Analysis for Crypto-API misuse detection. IDE Plugin for IntelliJ and Android Studio

Language: Java - Size: 14.5 MB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

secure-software-engineering/rose

Research Tool for Online Social Environments

Language: JavaScript - Size: 34 MB - Last synced at: 16 days ago - Pushed at: over 7 years ago - Stars: 7 - Forks: 8

secure-software-engineering/SAGuidelines

Size: 1000 Bytes - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

secure-software-engineering/mudarri

Source code of the Mudarri IntelliJ plugin, using rule graphs

Language: Java - Size: 11.9 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 2

secure-software-engineering/CryptoAnalysis Fork of CROSSINGTUD/CryptoAnalysis

CryptoAnalysis fork for the Testify project

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

secure-software-engineering/denial-of-app-attack

Denial-Of-App Attack

Language: Java - Size: 2.15 MB - Last synced at: 16 days ago - Pushed at: about 10 years ago - Stars: 8 - Forks: 11

secure-software-engineering/cilrep

JVM-based representation (and manipulation) of CIL bytecode

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

secure-software-engineering/soot-panathon

Soot Fork for the ISSTA2018 Panathon

Language: Java - Size: 132 MB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 1

secure-software-engineering/mic9bench

Language: Java - Size: 243 KB - Last synced at: 2 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

secure-software-engineering/heros Fork of soot-oss/heros

IFDS/IDE Solver for Soot

Language: Java - Size: 6.23 MB - Last synced at: about 1 year ago - Pushed at: almost 10 years ago - Stars: 3 - Forks: 1

secure-software-engineering/reviser Fork of StevenArzt/reviser

Reviser implementation

Language: Java - Size: 301 KB - Last synced at: about 1 year ago - Pushed at: over 11 years ago - Stars: 6 - Forks: 0

secure-software-engineering/TypeChef Fork of ckaestne/TypeChef

Type checking ifdef variability

Language: C - Size: 62.4 MB - Last synced at: about 1 year ago - Pushed at: almost 12 years ago - Stars: 1 - Forks: 1

secure-software-engineering/FlowStar

Common base project for taint analyses such as FlowDroid et al.

Size: 117 KB - Last synced at: 2 months ago - Pushed at: over 11 years ago - Stars: 1 - Forks: 0

secure-software-engineering/soot-infoflow-testgenerator

Test case generator for FlowDroid

Size: 0 Bytes - Last synced at: 2 months ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 0

secure-software-engineering/vasco Fork of rohanpadhye/vasco

An inter-procedural data flow analysis framework using value-based context-sensitivity

Language: Java - Size: 437 KB - Last synced at: about 1 year ago - Pushed at: over 10 years ago - Stars: 2 - Forks: 2

secure-software-engineering/crimestop

Size: 248 KB - Last synced at: 2 months ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 2

secure-software-engineering/ivy

Language: JavaScript - Size: 1.38 MB - Last synced at: 2 months ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 1

secure-software-engineering/prm4j-sync Fork of parzonka/prm4j

Parametric runtime monitoring for Java.

Language: Java - Size: 1.62 MB - Last synced at: about 1 year ago - Pushed at: almost 12 years ago - Stars: 3 - Forks: 0