ProgramStateRef state = ...; SVal xVal = state->getSVal(xVar, context);
ProgramStateRef state = ...; state = state->assume(c, true);This code adds a constraint `c` to the program state `state`. The `true` argument indicates that the constraint is assumed to be true. These examples demonstrate some of the functionality provided by the Clang tooling library, specifically the part of the library focused on program analysis.