Open EagleoutIce opened 7 months ago
additionally we want to have behavioral equivalence tests checking df dependencies with real execution of known files.
i.e., execute the code and check that the output is the same as the DF dependence suggests with abstract interpretation we want to further check if all intervals domains are met
Furthermore it would be nice if ids could be mapped so that i can write '14' for vertex and edges in the subgraph to test for even if flowR changes the id system or the code is extended etc...
How about a query like .canReach('14', '22', [EdgeType.Reads])
to indicate that vertex 14
can reach 22
only with reads
edges.
:cloud: future dream: a way to search other code with wildcard dataflow subgraphs.
Implement a graph comparisons which allows one graph to be a subgraph of the other. This allows us to express fragments of the DF graph. On that note: