{"commits":[{"author":{"email":"83388ff4016bc2126357f00aef690a2bae1e9376@91177308-0d34-0410-b5e6-96231b3b80d8","name":"zaks"},"sha":"36c36c948222fa7ae06935ab2a057114460d9136","message":"[analyzer] Add a debug checker to test for tainted data.\n\ngit-svn-id: http://llvm.org/svn/llvm-project/cfe/trunk@145827 91177308-0d34-0410-b5e6-96231b3b80d8","url":"https://api.github.com/repos/spurious/clang-mirror/commits/36c36c948222fa7ae06935ab2a057114460d9136"},{"author":{"email":"83388ff4016bc2126357f00aef690a2bae1e9376@91177308-0d34-0410-b5e6-96231b3b80d8","name":"zaks"},"sha":"baba5bd76b614dde087674591159c6d092350ba3","message":"[analyzer] Add ability to do a simple ProgramState dump() without\nrequiring CFG.\n\nAdding more ugly code; the evnvironment printing should be moved to\nenvirnment at some point.\n\ngit-svn-id: http://llvm.org/svn/llvm-project/cfe/trunk@145828 91177308-0d34-0410-b5e6-96231b3b80d8","url":"https://api.github.com/repos/spurious/clang-mirror/commits/baba5bd76b614dde087674591159c6d092350ba3"},{"author":{"email":"83388ff4016bc2126357f00aef690a2bae1e9376@91177308-0d34-0410-b5e6-96231b3b80d8","name":"zaks"},"sha":"8da800341ff4425af9b0a07a5aa9c5a1b2cd2608","message":"[analyzer] Change RetainCountChecker to use symbol dump method instead\nof relying on SymbolID.\n\nThis way any expression can be printed (not only SymbolData).\n\ngit-svn-id: http://llvm.org/svn/llvm-project/cfe/trunk@145829 91177308-0d34-0410-b5e6-96231b3b80d8","url":"https://api.github.com/repos/spurious/clang-mirror/commits/8da800341ff4425af9b0a07a5aa9c5a1b2cd2608"},{"author":{"email":"83388ff4016bc2126357f00aef690a2bae1e9376@91177308-0d34-0410-b5e6-96231b3b80d8","name":"zaks"},"sha":"eaa2e109065dacad0ba3a0bb58131e18c8c753e9","message":"[analyzer] Minor improvements on RangeConstraint pretty-printing.\n\ngit-svn-id: http://llvm.org/svn/llvm-project/cfe/trunk@145830 91177308-0d34-0410-b5e6-96231b3b80d8","url":"https://api.github.com/repos/spurious/clang-mirror/commits/eaa2e109065dacad0ba3a0bb58131e18c8c753e9"},{"author":{"email":"83388ff4016bc2126357f00aef690a2bae1e9376@91177308-0d34-0410-b5e6-96231b3b80d8","name":"zaks"},"sha":"909c120c6e410ae1968666bf67be82a9aab12391","message":"[analyzer] First step toward removing\nConstraintManager::canReasonAbout() from the ExprEngine.\n\nExprEngine should not care if the constraint solver can reason about\nsomething or not. The solver should be able to handle all the SymExprs.\n\nTo do this, the solver should be able to keep track of not only the\nSymbolData but of all SymExprs. This is why we change SymbolRef to be an\nalias of SymExpr*. When encountering an expression it cannot simplify,\nthe solver should just add the constraints to it.\n\ngit-svn-id: http://llvm.org/svn/llvm-project/cfe/trunk@145831 91177308-0d34-0410-b5e6-96231b3b80d8","url":"https://api.github.com/repos/spurious/clang-mirror/commits/909c120c6e410ae1968666bf67be82a9aab12391"},{"author":{"email":"83388ff4016bc2126357f00aef690a2bae1e9376@91177308-0d34-0410-b5e6-96231b3b80d8","name":"zaks"},"sha":"ec80113324599a1016ba6c956ac6e4cf8d2c2be0","message":"[analyzer] Remove all uses of ConstraintManager::canResonAbout() from\nExprEngine.\n\nTeach SimpleConstraintManager::assumeSymRel() to propagate constraints\nto symbolic expressions.\n\n+ One extra warning (real bug) is now generated due to enhanced\nassumeSymRel().\n\ngit-svn-id: http://llvm.org/svn/llvm-project/cfe/trunk@145832 91177308-0d34-0410-b5e6-96231b3b80d8","url":"https://api.github.com/repos/spurious/clang-mirror/commits/ec80113324599a1016ba6c956ac6e4cf8d2c2be0"},{"author":{"email":"83388ff4016bc2126357f00aef690a2bae1e9376@91177308-0d34-0410-b5e6-96231b3b80d8","name":"zaks"},"sha":"7545646c2526e152a950d5e3c50aa930a5a49d6c","message":"[analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal\nclass.\n\nWe are going into the direction of handling SymbolData and other SymExpr\nuniformly, so it makes less sense to keep two different SVal classes.\nFor example, the checkers would have to take an extra step to reason\nabout each type separately.\n\nThe classes have the same members, we were just using the SVal kind\nfield for easy differentiation in 3 switch statements. The switch\nstatements look more ugly now, but we can make the code more readable in\nother ways, for example, moving some code into separate functions.\n\ngit-svn-id: http://llvm.org/svn/llvm-project/cfe/trunk@145833 91177308-0d34-0410-b5e6-96231b3b80d8","url":"https://api.github.com/repos/spurious/clang-mirror/commits/7545646c2526e152a950d5e3c50aa930a5a49d6c"},{"author":{"email":"83388ff4016bc2126357f00aef690a2bae1e9376@91177308-0d34-0410-b5e6-96231b3b80d8","name":"zaks"},"sha":"035cfe1516d37ca81158bb217be406d36be1eeb2","message":"[analyzer] Add a missing taint tester warning.\n\ngit-svn-id: http://llvm.org/svn/llvm-project/cfe/trunk@145834 91177308-0d34-0410-b5e6-96231b3b80d8","url":"https://api.github.com/repos/spurious/clang-mirror/commits/035cfe1516d37ca81158bb217be406d36be1eeb2"},{"author":{"email":"821deb8805920bd073fd43c65afe4bc0baeae628@91177308-0d34-0410-b5e6-96231b3b80d8","name":"fjahanian"},"sha":"9d4e7e2dce3b0072d2f8a9268cda0521060431bb","message":"More objc rewriter refactoring.\n\n\ngit-svn-id: http://llvm.org/svn/llvm-project/cfe/trunk@145841 91177308-0d34-0410-b5e6-96231b3b80d8","url":"https://api.github.com/repos/spurious/clang-mirror/commits/9d4e7e2dce3b0072d2f8a9268cda0521060431bb"}],"ref":"refs/heads/trunk","head":"9d4e7e2dce3b0072d2f8a9268cda0521060431bb","size":9,"push_id":52648236}