Search results

Is there any example to integrate SootUp with heros to perform static analysis?

Status: Open.

#49 In soot-oss/heros;

· SmakshiA opened on Aug 27, 2024

Inter-procedural Analysis on Shimple Bytecode

Status: Open.

#45 In soot-oss/heros;

· maryammsd opened on Oct 4, 2021

How to analyse a specific method ?

Status: Open.

#44 In soot-oss/heros;

· fynch3r opened on Jul 20, 2021

Handle exceptional flows more precisely

enhancement

Status: Open.

#42 In soot-oss/heros;

· ericbodden opened on Jan 28, 2020

Type mismatch error when running example code

Status: Open.

#34 In soot-oss/heros;

· danielftz opened on Dec 3, 2019

Incorrect source value for Phase II(i) value computation

Status: Open.

#14 In soot-oss/heros;

· jtoman opened on Jun 25, 2015

How do I use it?

Status: Open.

#12 In soot-oss/heros;

· wil3 opened on Mar 10, 2015

Automatically return All-bottom edge function for seeds

enhancement

Status: Open.

#11 In soot-oss/heros;

· ericbodden opened on Jan 29, 2015

Lock contention

Status: Open.

#6 In soot-oss/heros;

· ericbodden opened on Jan 25, 2014