Organize NodeType enum - Githubissues

mistupv / JavaSlicer

A program slicer for Java, based on the system dependence graph (SDG).

https://mist.dsic.upv.es/JavaSlicer/demo/

GNU Affero General Public License v3.0

52 stars 18 forks source link

Organize NodeType enum #31

Closed cargaji closed 4 years ago

cargaji commented 4 years ago

Added METHOD_EXIT
Renamed METHOD to METHOD_ENTER
Split VARIABLE_IN into FORMAL_IN and ACTUAL_IN.
Split VARIABLE_OUT into FORMAL_OUT and ACTUAL_OUT.
Removed exitNode from CFG and corresponding methods.

jacosro commented 4 years ago

Seems ok to me, but trying to execute it with the config in tfm.exec.main (no matter if CFG, PDG or SDG) results in exception:

Exception in thread "main" java.lang.IllegalStateException: There is no exit node after building the graph
    at tfm.graphs.cfg.CFG.build(CFG.java:79)
    at tfm.graphs.pdg.PDGBuilder.createFrom(PDGBuilder.java:47)
    at tfm.graphs.pdg.PDG.build(PDG.java:74)
    at tfm.exec.Main.getBuiltGraph(Main.java:70)
    at tfm.exec.Main.main(Main.java:50)

cargaji commented 4 years ago

Resolved, a condition was inverted, noneMatch is the error condition, anyMatch is the pass condition.