Issues
- 4
- 1
Inter-procedural Analysis on Shimple Bytecode
#45 opened by maryammsd - 3
How to analyse a specific method ?
#44 opened by fynch3r - 0
Handle exceptional flows more precisely
#42 opened by ericbodden - 3
How to use FieldSensitiveIFDSSolver?
#38 opened by coder-chenzhi - 2
I want to use heros implement inter-procedural analysis,but I didn't how to use it.
#22 opened by ZhengqiaoLi - 2
Type mismatch error when running example code
#34 opened by danielftz - 1
- 0
- 6
AllBottom.composeWith is broken
#37 opened by langston-barrett - 2
IDESolver never uses more than 1 thread
#31 opened by tim-hoffman - 1
How to run backwards IFDS?
#39 opened by coder-chenzhi - 1
- 3
How to validate ICFG?
#30 opened by kshitijgorde - 2
- 2
How do I use it?
#12 opened by wil3 - 5
- 2
- 1
InterruptException in CountLatch
#10 opened by johanneslerch - 3
Missing check of null cachebuilder
#7 opened by hanshsieh - 2
Lock contention
#6 opened by ericbodden - 0