STANSE: Bug-finding Framework for C Programs