van-dalf

**Describe the bug** Dataflow is not detected correctly when a struct member assignment is performed on a struct pointer and the access is performed on the struct directly **To Reproduce**...

**Describe the bug** Dataflow is broken for variables used as conditions in conditional operators. The dataflow is not detected for assignments after the conditional operator. (A DDG edge seems to...

**Describe the bug** Dataflow is not generated correctly for assignments to arrays when the array index is a variable **To Reproduce** ``` #include int main(int argc, char **argv) { char...