Giters
soot-oss
/
heros
IFDS/IDE Solver for Soot and other frameworks
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
228
Watchers:
22
Issues:
23
Forks:
86
soot-oss/heros Issues
How to taint class instance
Closed
a year ago
Comments count
1
Virtual Invokes only triggers getCallToReturnFlowFunction
Closed
3 years ago
Comments count
4
Inter-procedural Analysis on Shimple Bytecode
Updated
3 years ago
Comments count
1
How to analyse a specific method ?
Updated
3 years ago
Comments count
3
Handle exceptional flows more precisely
Updated
5 years ago
How to use FieldSensitiveIFDSSolver?
Closed
5 years ago
Comments count
3
I want to use heros implement inter-procedural analysis,but I didn't how to use it.
Closed
5 years ago
Comments count
2
Type mismatch error when running example code
Updated
5 years ago
Comments count
2
Errors in heros like semicolon missing, return type of method is missing
Closed
5 years ago
Comments count
1
Rename DefaultIDETabulationProblem.createJoinLattice
Closed
5 years ago
AllBottom.composeWith is broken
Closed
5 years ago
Comments count
6
IDESolver never uses more than 1 thread
Closed
5 years ago
Comments count
2
How to run backwards IFDS?
Closed
5 years ago
Comments count
1
AllTop.meetWith(otherFunction) should return AllTop
Closed
5 years ago
Comments count
1
How to validate ICFG?
Closed
7 years ago
Comments count
3
flowfunc/Transfer uses == instead of equals(..)
Closed
7 years ago
Comments count
2
How do I use it?
Updated
8 years ago
Comments count
2
Incorrect source value for Phase II(i) value computation
Updated
9 years ago
Comments count
5
Automatically return All-bottom edge function for seeds
Updated
9 years ago
Comments count
2
InterruptException in CountLatch
Closed
9 years ago
Comments count
1
Missing check of null cachebuilder
Closed
10 years ago
Comments count
3
Lock contention
Updated
11 years ago
Comments count
2
Heros Solver remains blocked after OutOfMemoryError
Closed
11 years ago