• 2
• 0
• 0

FlowDroid_QCG

FlowDroid Static Data Flow Tracker

• 2
• 0
• 0

SeedUI

SeedUI: Understanding Initial Seeds in Fuzzing

• 2
• 0
• 0

Deblometer

A Java Debloating Benchmark

• 2
• 0
• 0

actions

Secure Software Engineering groups GitHub Actions - centralized & reusable

• 2
• 0
• 0

fuzzing_taxonomy

• 2
• 0
• 0

avighna

• 2
• 0
• 0

QCG

Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis

• 2
• 0
• 0

SWARM-CG

Swiss Army Knife of Call Graph Micro-Benchmark

• 2
• 0
• 0

PathExpression

An implementation of Tarjan's PathExpression algorithm

• 2
• 0
• 0

paper-idesolverxx

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

• 3
• 0
• 0

cards

Component-based Assumptions and Restrictions for Dataflow Specifications

• 3
• 0
• 0

SAGuidelines

• 3
• 0
• 0

secucheck

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

• 3
• 0
• 0

phasar

A LLVM-based static analysis framework.

• 3
• 0
• 0

mudarri

Source code of the Mudarri IntelliJ plugin, using rule graphs

• 3
• 0
• 0

COVA

COVA - A static analysis tool to compute path conditions

• 3
• 0
• 0

opcua-scanner

An opcua client scanning for servers in a network

• 3
• 0
• 0

boomerang

Demand-Driven Pointer Analysis

• 3
• 0
• 0

TS4J

A fluent interface for defining and computing typestate analyses

• 3
• 0
• 0

cheetah

Eclipse plugin for a JIT taint analysis