3 Commits

Author	SHA1	Message	Date
Rasmus Lerchedahl Petersen	5b51a3461d	Python: Force read- and store steps to add nodes. ... This gives muche nicer path explanations on some snapshots. It is achieved by making stepped-to nodes `CastNode`s. This seems somewhat reasonable as types then to change, when we move between content and container. We could probably refine it, though.	2021-02-25 11:49:57 +01:00
Rasmus Lerchedahl Petersen	0710963fc3	Python: update test expectations ... EssaNode -> ControlFlowNode	2020-11-10 23:58:55 +01:00
Rasmus Wriedt Larsen	a82fa04d8a	Python: Add worked example of taint step modeling of external libs ... This can't be seen on the example, but I went through quite a lot of iterations before arriving at this fairly simple solution.	2020-09-22 16:28:26 +02:00