The node you are looking for is at
Static analysis of C for splitters
.