soot-oss/heros issues and pull requests

#48 - How to taint class instance

Issue - State: closed - Opened by raylax about 1 year ago - 1 comment

#47 - Virtual Invokes only triggers getCallToReturnFlowFunction

Issue - State: closed - Opened by dliang2000 almost 3 years ago - 4 comments

#46 - Release

Pull Request - State: closed - Opened by mbenz89 almost 3 years ago

#45 - Inter-procedural Analysis on Shimple Bytecode

Issue - State: open - Opened by maryammsd about 3 years ago - 1 comment

#44 - How to analyse a specific method ?

Issue - State: open - Opened by fynch3r over 3 years ago - 3 comments

#43 - Bump junit from 4.12 to 4.13.1

Pull Request - State: closed - Opened by dependabot[bot] about 4 years ago
Labels: dependencies

#42 - Handle exceptional flows more precisely

Issue - State: open - Opened by ericbodden almost 5 years ago
Labels: enhancement

#41 - Remove uses of unordered data structures.

Pull Request - State: closed - Opened by michael-emmi almost 5 years ago

#40 - redacted

Pull Request - State: closed - Opened by michael-emmi almost 5 years ago

#39 - How to run backwards IFDS?

Issue - State: closed - Opened by coder-chenzhi almost 5 years ago - 1 comment

#38 - How to use FieldSensitiveIFDSSolver?

Issue - State: closed - Opened by coder-chenzhi almost 5 years ago - 3 comments

#37 - AllBottom.composeWith is broken

Issue - State: closed - Opened by langston-barrett almost 5 years ago - 6 comments

#36 - AllBottom: simplify and fix meetWith

Pull Request - State: open - Opened by langston-barrett almost 5 years ago - 4 comments

#35 - Rename DefaultIDETabulationProblem.createJoinLattice

Issue - State: closed - Opened by langston-barrett almost 5 years ago

#34 - Type mismatch error when running example code

Issue - State: open - Opened by danielftz almost 5 years ago - 2 comments

#33 - AllTop.meetWith(otherFunction) should return AllTop

Issue - State: closed - Opened by langston-barrett about 5 years ago - 1 comment

#32 - Bump version in POM

Pull Request - State: closed - Opened by MarcMil over 5 years ago

#31 - IDESolver never uses more than 1 thread

Issue - State: closed - Opened by tim-hoffman over 6 years ago - 2 comments

#30 - How to validate ICFG?

Issue - State: closed - Opened by kshitijgorde almost 7 years ago - 3 comments

#29 - Fix NPE when generating dot graph for a unit that contains no facts

Pull Request - State: closed - Opened by tim-hoffman about 7 years ago

#28 - Fixes #27

Pull Request - State: closed - Opened by tim-hoffman about 7 years ago - 1 comment

#27 - flowfunc/Transfer uses == instead of equals(..)

Issue - State: closed - Opened by tim-hoffman about 7 years ago - 2 comments

#26 - Modified POM to use new Maven repository

Pull Request - State: closed - Opened by mbenz89 almost 8 years ago

#25 - Adds method filtering for the flow printer

Pull Request - State: closed - Opened by jtoman over 8 years ago

#24 - Allows the programmer to hook into value computation

Pull Request - State: closed - Opened by jtoman over 8 years ago

#23 - Fixed Maven pom.xml

Pull Request - State: closed - Opened by akbertram over 8 years ago

#22 - I want to use heros implement inter-procedural analysis,but I didn't how to use it.

Issue - State: closed - Opened by ZhengqiaoLi over 8 years ago - 2 comments

#21 - Errors in heros like semicolon missing, return type of method is missing

Issue - State: closed - Opened by garimamodi02 over 8 years ago - 1 comment

#20 - Added ant target to publish heros jar files to local maven repository using ivy.

Pull Request - State: closed - Opened by florian-kuebler almost 9 years ago

#19 - Added ant target to publish heros jar files to local ivy repository.

Pull Request - State: closed - Opened by florian-kuebler almost 9 years ago

#18 - Use proper class to get logger from LoggerFactory.

Pull Request - State: closed - Opened by KengoTODA over 9 years ago

#17 - A proposal to use Maven to build

Pull Request - State: closed - Opened by KengoTODA over 9 years ago - 3 comments

#16 - Adds method to debug IFDS edges

Pull Request - State: closed - Opened by jtoman over 9 years ago - 10 comments

#15 - Changed BiDiIFDSSOlver to support IDE, new version of BiDiIFDSSolver based on BiDiIDESolver

Pull Request - State: closed - Opened by johanneslerch over 9 years ago

#14 - Incorrect source value for Phase II(i) value computation

Issue - State: open - Opened by jtoman over 9 years ago - 5 comments

#13 - Update AllTop.java

Pull Request - State: closed - Opened by johanneslerch over 9 years ago - 2 comments

#12 - How do I use it?

Issue - State: open - Opened by wil3 over 9 years ago - 2 comments

#11 - Automatically return All-bottom edge function for seeds

Issue - State: open - Opened by ericbodden almost 10 years ago - 2 comments
Labels: enhancement

#10 - InterruptException in CountLatch

Issue - State: closed - Opened by johanneslerch almost 10 years ago - 1 comment
Labels: bug

#9 - Added SootThreadGroup which allows to distinguish various Soot instances...

Pull Request - State: closed - Opened by MarcMil almost 10 years ago

#8 - Add nullness check of CacheBuilder

Pull Request - State: closed - Opened by hanshsieh over 10 years ago

#7 - Missing check of null cachebuilder

Issue - State: closed - Opened by hanshsieh over 10 years ago - 3 comments

#6 - Lock contention

Issue - State: open - Opened by ericbodden almost 11 years ago - 2 comments

#5 - SLF4J Logging in HEROS

Pull Request - State: closed - Opened by malaverdiere about 11 years ago

#4 - Added counter resetting and thread interruption to fix #3

Pull Request - State: closed - Opened by malaverdiere about 11 years ago - 1 comment

#3 - Heros Solver remains blocked after OutOfMemoryError

Issue - State: closed - Opened by malaverdiere about 11 years ago

#2 - Added a getPredsOf() to the cfg ( similarly to the existing getSuccsOf()...

Pull Request - State: closed - Opened by StevenArzt over 11 years ago

#1 - Fixed race condition in IDESolver and simplified the code

Pull Request - State: closed - Opened by malaverdiere almost 12 years ago - 3 comments

GitHub / soot-oss/heros issues and pull requests