Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2015-06-26 | Overload compare operators between pointer to Node and tree_code. | Andrei Karas | 8 | -40/+63 | |
2015-06-26 | Fix compilation warnings. | Andrei Karas | 5 | -8/+23 | |
2015-06-26 | Rename to Ast dumper to Paranoid null checker. | Andrei Karas | 22 | -39/+39 | |
2015-06-25 | Update test results. | Andrei Karas | 10 | -867/+867 | |
2015-06-25 | Dont add empty vars in MODIFY_EXPR node. | Andrei Karas | 1 | -2/+5 | |
2015-06-25 | Update test 23. Update test results. | Andrei Karas | 21 | -3014/+3387 | |
2015-06-25 | Improve detecting null pointers in COMPONENT_REF. | Andrei Karas | 1 | -13/+16 | |
2015-06-25 | Add into analysis node INIT_EXPR. | Andrei Karas | 3 | -0/+23 | |
2015-06-25 | Add into analysis node NON_LVALUE_EXPR. | Andrei Karas | 3 | -1/+21 | |
It works like NOP node. | |||||
2015-06-25 | Add test 23. | Andrei Karas | 7 | -1/+35141 | |
2015-06-25 | Update test results. | Andrei Karas | 5 | -275/+631 | |
2015-06-25 | Add support for detecting with normal variables also fields. | Andrei Karas | 3 | -13/+78 | |
2015-06-25 | Fix some false positives and other issues related to linked vars. | Andrei Karas | 5 | -25/+60 | |
Add reverse linked vars map. | |||||
2015-06-24 | Update test 22. | Andrei Karas | 7 | -139/+687 | |
2015-06-24 | Update test 22. | Andrei Karas | 7 | -1874/+25181 | |
2015-06-24 | Add analysis for node CLEANUP_POINT_EXPR. | Andrei Karas | 3 | -0/+23 | |
This allow fix some false positives. | |||||
2015-06-24 | Fix false positive report for first pointer argument for function (not method). | Andrei Karas | 1 | -2/+9 | |
2015-06-24 | Update test 22. Update test results. | Andrei Karas | 17 | -2026/+4417 | |
2015-06-24 | Reorder child nodes in BIND_EXPR. | Andrei Karas | 1 | -3/+15 | |
2015-06-24 | Check only first function parameter and only if this is not FUNCTION_DECL. | Andrei Karas | 1 | -3/+22 | |
2015-06-23 | Add test22. Update test results. | Andrei Karas | 17 | -274/+49344 | |
2015-06-23 | Add analysis for CALL_EXPR. | Andrei Karas | 3 | -0/+27 | |
This allow detect null pointers like this: ptr->function(); | |||||
2015-06-23 | Fix false positive for ADDR_EXPR node. | Andrei Karas | 3 | -0/+27 | |
Ignored example: arr.push_back(ptr); | |||||
2015-06-23 | Improve a bit parsing nested FUNCTION_DECL. | Andrei Karas | 2 | -4/+10 | |
2015-06-23 | Add analysis for node TRUTH_OR_EXPR. | Andrei Karas | 3 | -0/+17 | |
2015-06-23 | Update test 21. Update test results. | Andrei Karas | 12 | -279/+784 | |
2015-06-23 | Add analysis for node TRUTH_AND_EXPR. | Andrei Karas | 3 | -0/+17 | |
2015-06-23 | Move TRUTH_ORIF_EXPR analysis into shared function. | Andrei Karas | 1 | -7/+12 | |
2015-06-23 | Move TRUTH_ANDIF_EXPR analysis into shared function. | Andrei Karas | 1 | -7/+12 | |
2015-06-23 | Skip NOP_EXPR while walking tree. | Andrei Karas | 1 | -0/+2 | |
2015-06-23 | Add NOP_EXPR into analysis. | Andrei Karas | 3 | -0/+17 | |
2015-06-23 | Output debug logging with nodes indent. | Andrei Karas | 1 | -1/+2 | |
2015-06-23 | Fix conditions like "if (expr && badexpr)" | Andrei Karas | 1 | -1/+1 | |
2015-06-23 | Update test results. | Andrei Karas | 11 | -138/+100 | |
2015-06-23 | Add test 21. | Andrei Karas | 6 | -1/+920 | |
2015-06-23 | Fix some issues in TRUTH_ANDIF_EXPR analysis. | Andrei Karas | 1 | -0/+6 | |
2015-06-23 | Combine analysis code for IF_STMT and COND_EXPR into same function. | Andrei Karas | 3 | -95/+38 | |
2015-06-23 | Use same code in IF_STMT and COND_EXPR. | Andrei Karas | 2 | -38/+41 | |
2015-06-23 | Fix some scope issues. Can be tested with future test 21. | Andrei Karas | 2 | -2/+10 | |
2015-06-22 | skip nop node in DECL_EXPR. | Andrei Karas | 1 | -1/+1 | |
2015-06-22 | Add test 20. | Andrei Karas | 6 | -1/+1426 | |
2015-06-22 | Add test 19. | Andrei Karas | 5 | -0/+1028 | |
2015-06-22 | Fix issue in related variables checks. | Andrei Karas | 4 | -0/+43 | |
2015-06-22 | Add support for related checks for "linked" variables. | Andrei Karas | 5 | -49/+72 | |
Example: void func(int *ptr1) { int *ptr2 = ptr1; if (!ptr1) return; *ptr2 = 10; } here will be no warning. | |||||
2015-06-22 | Remove possible variables for check for parents if need. | Andrei Karas | 1 | -1/+5 | |
Also dont report about null pointer with empty variable name. This can happend in autogenerated pseudo functions. | |||||
2015-06-22 | Update test results. | Andrei Karas | 4 | -63/+51 | |
2015-06-22 | Add test 19. | Andrei Karas | 6 | -1/+656 | |
2015-06-22 | In places where searched function parameters nodes (PARM_DECL) | Andrei Karas | 2 | -5/+5 | |
also search for varibles (VAR_DECL). | |||||
2015-06-22 | Add analysis for code like "type *var = parm" | Andrei Karas | 8 | -10/+103 | |
Now var can be checked for nulls too. Also extend debug logging. | |||||
2015-06-22 | Dont report null pointer if variable was directly used. | Andrei Karas | 1 | -1/+1 | |
For example: int *ptr2 = ptr1; |