summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2015-06-28Add test 26. Update test results.Andrei Karas12-658/+99658
2015-06-28Add warning for more than one checks for non null variables.Andrei Karas4-19/+35
2015-06-28Add knownVars field to walkitem.Andrei Karas6-0/+15
2015-06-28Use bit mask for plugin command.Andrei Karas10-41/+43
2015-06-28Improve debug logging.Andrei Karas1-23/+32
2015-06-27Update test 25. Update test results.Andrei Karas10-445/+685
2015-06-27Before linking vars check is parent var must be checked.Andrei Karas1-2/+7
2015-06-27Add test 25. Update test results.Andrei Karas17-145/+28152
2015-06-27Check function parameters what must be non nullAndrei Karas4-0/+62
2015-06-27Extract some code from analyseFunctionDecl.Andrei Karas1-12/+16
2015-06-27Allow parse parameters atribute nodes for nested functions or calls.Andrei Karas1-1/+2
2015-06-27Update test 23.Andrei Karas6-1007/+1210
2015-06-27Dont check first parameter in calling function by reference.Andrei Karas1-0/+7
2015-06-27Update test 24.Andrei Karas6-0/+631
2015-06-27Allow check function pointers in arrays in local variables.Andrei Karas1-1/+4
2015-06-27Update test 24.Andrei Karas6-67/+505
2015-06-27Allow check function pointers in arrays.Andrei Karas1-6/+15
2015-06-26Add test 24.Andrei Karas7-1/+754
2015-06-26Dont check first function parameter if function is pointer to function.Andrei Karas1-1/+3
2015-06-26Update test 23.Andrei Karas6-831/+1657
2015-06-26Dont check for null pointer first parameter in function pointer.Andrei Karas1-0/+4
2015-06-26Check for null pointer calling function or pointer.Andrei Karas1-0/+4
2015-06-26Add missing check.Andrei Karas1-0/+2
2015-06-26Improve a bit tests make file.Andrei Karas1-24/+30
2015-06-26Add comments and improve a bit analyser logic.Andrei Karas5-31/+28
2015-06-26Fix program name in copyright headers.Andrei Karas322-322/+322
2015-06-26Overload compare operators between pointer to Node and tree_code.Andrei Karas8-40/+63
2015-06-26Fix compilation warnings.Andrei Karas5-8/+23
2015-06-26Rename to Ast dumper to Paranoid null checker.Andrei Karas22-39/+39
2015-06-25Update test results.Andrei Karas10-867/+867
2015-06-25Dont add empty vars in MODIFY_EXPR node.Andrei Karas1-2/+5
2015-06-25Update test 23. Update test results.Andrei Karas21-3014/+3387
2015-06-25Improve detecting null pointers in COMPONENT_REF.Andrei Karas1-13/+16
2015-06-25Add into analysis node INIT_EXPR.Andrei Karas3-0/+23
2015-06-25Add into analysis node NON_LVALUE_EXPR.Andrei Karas3-1/+21
2015-06-25Add test 23.Andrei Karas7-1/+35141
2015-06-25Update test results.Andrei Karas5-275/+631
2015-06-25Add support for detecting with normal variables also fields.Andrei Karas3-13/+78
2015-06-25Fix some false positives and other issues related to linked vars.Andrei Karas5-25/+60
2015-06-24Update test 22.Andrei Karas7-139/+687
2015-06-24Update test 22.Andrei Karas7-1874/+25181
2015-06-24Add analysis for node CLEANUP_POINT_EXPR.Andrei Karas3-0/+23
2015-06-24Fix false positive report for first pointer argument for function (not method).Andrei Karas1-2/+9
2015-06-24Update test 22. Update test results.Andrei Karas17-2026/+4417
2015-06-24Reorder child nodes in BIND_EXPR.Andrei Karas1-3/+15
2015-06-24Check only first function parameter and only if this is not FUNCTION_DECL.Andrei Karas1-3/+22
2015-06-23Add test22. Update test results.Andrei Karas17-274/+49344
2015-06-23Add analysis for CALL_EXPR.Andrei Karas3-0/+27
2015-06-23Fix false positive for ADDR_EXPR node.Andrei Karas3-0/+27
2015-06-23Improve a bit parsing nested FUNCTION_DECL.Andrei Karas2-4/+10