Age | Commit message (Expand) | Author |
---|---|---|
2013-03-21 | [analyzer] Print return values from debug.DumpCalls checker. | Jordan Rose |
2013-01-03 | [analyzer] Rename callback EndPath -> EndFunction | Anna Zaks |
2012-12-01 | Include pruning and general cleanup. | Benjamin Kramer |
2012-07-26 | [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change. | Jordan Rose |
2012-07-10 | [analyzer] Add debug.DumpCalls, which prints out any CallEvents it sees. | Jordan Rose |
2012-06-29 | [analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph. | Jordan Rose |