Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [analyzer][NFC] Move CheckerRegistry from the Core directory to Frontend | Kristof Umann | 2018-12-15 | 1 | -1/+1 |
* | [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter | George Karpenkov | 2018-09-28 | 1 | -2/+1 |
* | [analyzer] Do not run visitors until the fixpoint, run only once. | George Karpenkov | 2018-06-26 | 1 | -1/+1 |
* | [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the he... | George Karpenkov | 2018-01-17 | 1 | -3/+1 |
* | [analyzer] Add new delete with non-virtual destructor check | Gabor Horvath | 2017-09-22 | 1 | -0/+153 |