Matt Kindy

No dominance frontier error when creating PDG including switch case only containing default branch in CAst

1

I'm getting the error ``` java.lang.IllegalArgumentException: no dominance frontier for node BB[SSA:13..13]12 - source_code_for_testing.dominance_frontier.PostgreSQLErrorConverter.convert(Ljava/sql/SQLException;)I at com.ibm.wala.util.graph.dominators.DominanceFrontiers.getDominanceFrontier(DominanceFrontiers.java:48) at com.ibm.wala.cfg.cdg.ControlDependenceGraph.buildControlDependence(ControlDependenceGraph.java:72) at com.ibm.wala.cfg.cdg.ControlDependenceGraph.(ControlDependenceGraph.java:220) at com.ibm.wala.cfg.cdg.ControlDependenceGraph.(ControlDependenceGraph.java:225) at com.ibm.wala.ipa.slicer.PDG.createControlDependenceEdges(PDG.java:270) at com.ibm.wala.ipa.slicer.PDG.createScalarEdges(PDG.java:200) at com.ibm.wala.ipa.slicer.PDG.populate(PDG.java:193) at com.ibm.wala.ipa.slicer.PDG.iterator(PDG.java:1216)...

ArrayIndexOutOfBoundsException when constructing call graph with CAst

2

Running the following `PeekErrorCase` through the below `JavaSourceAnalysisEngine` leads to error ``` java.lang.ArrayIndexOutOfBoundsException: Index -1 out of bounds for length 0 at com.ibm.wala.util.collections.IntStack.peek(IntStack.java:33) at com.ibm.wala.cast.ir.ssa.AbstractSSAConversion.top(AbstractSSAConversion.java:459) at com.ibm.wala.cast.ir.ssa.AbstractSSAConversion.SearchPreRec(AbstractSSAConversion.java:365) at com.ibm.wala.cast.ir.ssa.AbstractSSAConversion.SEARCH(AbstractSSAConversion.java:299) at...

ArgumentTypeEntrypoint doesn't ensure that chooseAnImplementor returns a concrete class

1

``` private TypeReference chooseAnImplementor(IClass iface) { Set implementors = cha.getImplementors(iface.getReference()); if (!implementors.isEmpty()) { return implementors.iterator().next().getReference(); } else { return null; } } ``` May return an `IClass` which is also...

process.chdir does not affect working directory used by skott for creating node id paths

18

## Summary When running an analysis with the API and specifying a directory via `cwd`, the node ids end up being paths relative to the parent node process's current working...