Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
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 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 | 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 | 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 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 | 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 | 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 | 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 | 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; | |||||
2015-06-22 | Use in tests so files from root directory. | Andrei Karas | 1 | -3/+1 | |
2015-06-22 | Use by default plugin command detectnullpointers. | Andrei Karas | 1 | -1/+1 | |
2015-06-21 | Fix nested IF_STMT nodes analysis. | Andrei Karas | 1 | -1/+2 | |
2015-06-21 | Fix nested COND_EXPR nodes analysis. | Andrei Karas | 2 | -3/+3 | |
2015-06-21 | Add more fields in debug logging. | Andrei Karas | 1 | -0/+14 | |
2015-06-21 | Add basic analysis for node COMPOUND_EXPR. | Andrei Karas | 4 | -1/+45 | |
2015-06-21 | Fix infinite loop in BLOCK node. | Andrei Karas | 1 | -2/+4 | |
2015-06-21 | Add protection against infinite loop. | Andrei Karas | 1 | -0/+12 | |
2015-06-21 | Fix COND_EXPR if in both branches return happend. | Andrei Karas | 2 | -1/+3 | |
2015-06-21 | fix COND_EXPR for C code. | Andrei Karas | 1 | -0/+37 | |
In C code COND_EXPR used like IF_STMT in C++. | |||||
2015-06-21 | Return most nodes support for C plugin. | Andrei Karas | 12 | -19/+63 | |
For workaround building issues was added file custom/fixed-cp-tree.h | |||||
2015-06-21 | Add support for build separate plugin for C and C++. | Andrei Karas | 19 | -3/+48 | |
2015-06-20 | Add analysis for node COND_EXPR. | Andrei Karas | 3 | -0/+65 | |
This allow check expressions like: expr ? expr : expr | |||||
2015-06-20 | Add support for not ignore already checked vars in complex expressions. | Andrei Karas | 1 | -0/+4 | |
Example: if (!a && a->b) if (a || a->b) | |||||
2015-06-20 | Add support for ignore already checked vars in complex expressions. | Andrei Karas | 3 | -2/+26 | |
Example: if (a && a->b) if (!a || a->b) | |||||
2015-06-19 | Fix issue if both "if" branches terminated by return. | Andrei Karas | 1 | -0/+12 | |
2015-06-19 | Fix some "if (expr && expr)" and "if (expr || expr)" issues. | Andrei Karas | 3 | -36/+25 | |
2015-06-19 | Fix some issues in expressions like this "if (EXPR || EXPR)" | Andrei Karas | 3 | -11/+32 | |
2015-06-19 | Improve expression analysis. | Andrei Karas | 4 | -11/+44 | |
2015-06-19 | Switch analysis IF_STMT to new way. Add special expression flags for future ↵ | Andrei Karas | 4 | -117/+69 | |
usage. |