The node you are looking for is at
Detecting invariants in C/C++ programs
.