exampleCode

Documentation

Overview

Verify how the analysis handles aliasing through fields X and Y of the same type (U)

  x----------->{U.u:T.s.......}
                 |
                 |
                 V
                {taint}
                 ^
                 |
                 |
y------------>{U.u:T.s-------]

Verify how the analysis handles aliasing through fields X and Y different types

  x----------->{U.u:T.s.......}
                 |
                 |
                 V
                {taint}
                 ^
                 |
                 |
y------------>{V.u:T.s-------]

f is not called via a go function, instead the go function is inside the body of f.

f is not called via a go function, instead the go function is inside the body of f.

f is not called via a go function, instead the go function is inside the body of f.

f is not called via a go function, instead the go function is inside the body of f.

Very simple example program which import nothing so that the test is simpler and faster.

Very simple example program which import nothing so that the test is simpler and faster./

Very simple example program which import nothing so that the test is simpler and faster.

Simple test to test flow-sensitive

Struct: 2 Elements Flow: 0 Field sensitive

Struct with 1 element Report 2 Flows[17;32] 17: Call sink with element of struct 32: Call sink with T passed as pointer to a function

Simplified Version of structTestV3Ref

Struct 1 element 1 Flow [23] 23: pointer to struct as parameter

Struct 1 element Report 2 flows[17,28] 17: Element of struct (t.s) as parameter to function. 28: Assign element of struct to a new variable and pass the new variable to function.