Group: Fraunhofer IEM

Sort by:Popular▼

✓Popular✓Newest

Scope implementation that allows running Boomerang and IDEal with different analysis frameworks

Implementation of a Weighted Pushdown System

Implementation of an algorithm by Tarjan that efficiently computes path expressions based on a labeled graph

Helper implementation for the Pushdown System

PathExpression

Implementation of a Synchronized Pushdown System

Efficient and Precise Pointer and Data-Flow Analysis

Implementation for setting up Boomerang tests

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

Scope implementation to run Boomerang and IDEal with Soot

SPHA is a collection of libraries to work with hierarchical KPI models.

IDE solver using Boomerang to resolve aliases

Scope implementation to run Boomerang and IDEal with Opal

Scope implementation to run Boomerang and IDEal with SootUp

Sparsified Synchronized Pushdown Systems for Pointer and Data-Flow Analysis

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

SPHA is a collection of libraries to work with hierarchical KPI models.

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler for Android Applications

Scope implementation to run Boomerang and IDEal with WALA

Scope implementation to run Boomerang and IDEal with WALA