Commit Graph

516 Commits

Author SHA1 Message Date
Rasmus Lerchedahl Petersen
b65e6fba9e Python: attempt at capturing maximal flows
(this is what used to be "all flows")
2020-06-22 11:28:28 +02:00
Rasmus Lerchedahl Petersen
47819bbcda Python: obtain remaining expected flows
- implement encosing callable for more nodes
 - implement extra flow for ESSA global variables
2020-06-22 07:36:09 +02:00
Rasmus Lerchedahl Petersen
426b1da552 Python: update sources and sinks 2020-06-19 11:38:15 +02:00
Rasmus Lerchedahl Petersen
9e078da963 Python: Better definition of all flows
does not become too big, when we filter out 0-step flows
2020-06-19 11:25:34 +02:00
Rasmus Lerchedahl Petersen
5ca6391f15 Python: update call graph test
we also have flow into functions!
2020-06-19 07:49:47 +02:00
Rasmus Lerchedahl Petersen
5a864aab87 Python: override genEnclosingCallable
achieved flow out of functions!
2020-06-19 07:29:46 +02:00
Rasmus Lerchedahl Petersen
9669a6a4dc Python: test for getASuccessor
also align test names
2020-06-18 15:10:45 +02:00
Rasmus Lerchedahl Petersen
03b26f7ebe Python: Remove excessive type pruning 2020-06-18 13:58:47 +02:00
Rasmus Lerchedahl Petersen
d283919b92 Python: implemented ParameterNode, updated test 2020-06-18 07:45:16 +02:00
Rasmus Lerchedahl Petersen
c20219c2b9 Python: more local flow and more tests 2020-06-17 20:48:06 +02:00
Rasmus Lerchedahl Petersen
ce57a28c8f Python: Use CallableValue and improve tests 2020-06-17 19:12:10 +02:00
Rasmus Lerchedahl Petersen
a45b5a7d3c Python: Implemented return node
but I think they receive no flow
2020-06-17 17:41:43 +02:00
Rasmus Lerchedahl Petersen
8e51b2fed8 Python: refactor test for global flow 2020-06-17 16:43:11 +02:00
Rasmus Lerchedahl Petersen
71f364eef3 Python: Implement OutNode
Also, fix test for local flow
2020-06-17 16:24:44 +02:00
Rasmus Lerchedahl Petersen
52898f16f5 Python: update paths after move 2020-06-17 08:34:45 +02:00
Rasmus Lerchedahl Petersen
e192b66116 Python: move shared dataflow to experimental 2020-06-17 06:46:46 +02:00