Discover secure-software-engineering/paper-idesolverxx Open Source

Stars
1
Language
HTML
Created 4 months ago
Updated 4 months ago

secure-software-engineering

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

FlowDroid

FlowDroid Static Data Flow Tracker

Java

1,053

phasar

A LLVM-based static analysis framework.

C++

933

DroidBench

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

Java

268

SuSi

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

Java

143

tamiflex

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

Java

PointerBench

A points-to and alias analysis benchmark suite

Java

COVA

COVA - A static analysis tool to compute path conditions

Python

TypeEvalPy

A Micro-benchmarking Framework for Python Type Inference Tools

Python

boomerang

Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.

Java

swan

Security methods for WeAkNess detection

Java

sootdiff

SootDiff - Bytecode Comparison Across Different Java Compilers

Java

DroidForce

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

Java

SootFX

A Static Code Feature Extraction Tool for Java and Android

Java

secucheck

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

Java

authcheck

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

JavaScript

SPLlift

Java

Jimple-Interpreter

Soot based Jimple interpreter

Java

HeaderGen

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

Jupyter Notebook

SPDS-experiments

Java

secucheck-core

Taint Analysis on top of Soot.

Java

ideal

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

Java

android-instrumentation-tutorial

Logos

denial-of-app-attack

Denial-Of-App Attack

Java

cheetah

Eclipse plugin for a JIT taint analysis

Java

opcua-scanner

An opcua client scanning for servers in a network

Java

rose

Research Tool for Online Social Environments

JavaScript

upcy

UpCy automatically finds compatible updates for Maven dependencies.

Java

achilles-benchmark-depscanners

Achilles - Benchmark for assessing OSS-Vulnerability Scanners 59

Java

PathExpression

An implementation of Tarjan's PathExpression algorithm

Java

SparseBoomerang

Sparse Demand-Driven Pointer Analysis

Java

jadx-taintdoc

Jadx extended to ease documentation of taint flows

Java

neck

C++

spring-petclinic-kotlin

Vulnerable version of the Spring PetClinic application in Kotlin

Kotlin

cards

Component-based Assumptions and Restrictions for Dataflow Specifications

Java

FlowStar

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

modguard

Java

soot-infoflow-testgenerator

Test case generator for FlowDroid

tamiflex.benchmarks

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

Diff

TS4J

A fluent interface for defining and computing typestate analyses

Java

crimestop

visuflow

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

Java

ivy

JavaScript

CogniCrypt-IntelliJ

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

Java

SparseIDE

Sparse IDE/IFDS solver and client implementation

secure-software-engineering/paper-idesolverxx

secure-software-engineering

Reviews

Repository Details

More Repositories