Daniel Marjamäki
|
3ee0d3c9d3
|
Improved the buffer overrun checks. Results that are not 100% certain must be enabled through the "-w".
|
2007-07-19 06:21:01 +00:00 |
|
Daniel Marjamäki
|
ade2265ed2
|
Minor modifications to make it compile on linux
|
2007-07-18 06:37:37 +00:00 |
|
Daniel Marjamäki
|
93b3e2e5aa
|
Buffer overruns, using string with unknown length
|
2007-07-18 06:12:16 +00:00 |
|
Daniel Marjamäki
|
7ea6e10f1f
|
Minor updates to make it easier to port to Linux
|
2007-07-17 06:39:34 +00:00 |
|
Daniel Marjamäki
|
ba13ad5e3c
|
Minor updates to make it portable to Linux.
|
2007-07-17 06:15:50 +00:00 |
|
Daniel Marjamäki
|
b0d9994210
|
CheckHeaders: Checking if included headers are needed
|
2007-06-11 13:56:51 +00:00 |
|
Daniel Marjamäki
|
9af3e36c4d
|
CheckOther: minor bug fix
|
2007-06-10 18:26:06 +00:00 |
|
Daniel Marjamäki
|
6ed70ae745
|
CheckMemoryLeak: Detect memory leaks for class members
|
2007-06-10 18:25:39 +00:00 |
|
Daniel Marjamäki
|
8a1ec67b22
|
CheckOther: Improved the check that checks 'if (condition) var=true;'
|
2007-06-09 18:36:52 +00:00 |
|
Daniel Marjamäki
|
f0f117d4f6
|
CheckHeaders: Improved the check that checks included headers.
|
2007-06-09 18:25:08 +00:00 |
|
Daniel Marjamäki
|
0bea996e4d
|
CheckHeaders: Updated message
|
2007-06-08 18:56:11 +00:00 |
|
Daniel Marjamäki
|
5b9513b17d
|
Tokenize: generate tokens on '#define' (CheckIncludedHeaders)
|
2007-06-08 18:55:44 +00:00 |
|
Daniel Marjamäki
|
f36ab6dc61
|
Updated the tests
|
2007-06-08 18:32:23 +00:00 |
|
Daniel Marjamäki
|
9da999b53f
|
Checking Notepad++: Enabled all warnings
|
2007-06-08 18:20:13 +00:00 |
|
Daniel Marjamäki
|
5b83f5d0cd
|
CheckOther: Added check. 'if (condition) var=true; else var=false;' => 'var = (condition);'
|
2007-06-08 18:19:15 +00:00 |
|
Daniel Marjamäki
|
b3a3097b66
|
CheckHeaders: Limit the number of warnings about 'implementation in header'
|
2007-06-08 18:17:32 +00:00 |
|
Daniel Marjamäki
|
bc70635e10
|
Main: More checks are only done when the '-w' flag is given.
|
2007-06-08 18:01:23 +00:00 |
|
Daniel Marjamäki
|
7801d262a2
|
CheckHeaders: Bug fix
|
2007-06-08 17:19:31 +00:00 |
|
Daniel Marjamäki
|
148ac8a57a
|
CheckHeaders: Bug fix
|
2007-06-08 16:57:20 +00:00 |
|
Daniel Marjamäki
|
746c99be28
|
Modified comments
|
2007-06-08 16:46:51 +00:00 |
|
Daniel Marjamäki
|
abc1f6816d
|
CheckHeaders: Check if all included headers are needed
|
2007-06-08 16:46:06 +00:00 |
|
Daniel Marjamäki
|
0525aeb5e4
|
Added check: "if (condition) var=true;" can be written as "var|=(condition);"
|
2007-06-06 17:33:28 +00:00 |
|
Daniel Marjamäki
|
b44e82bc22
|
Buffer overrun: also check the 'memcopy' parameters.
|
2007-06-05 20:29:58 +00:00 |
|
Daniel Marjamäki
|
921dd3cf21
|
Added check: suspicious usage of strtok
|
2007-06-05 20:29:03 +00:00 |
|
Daniel Marjamäki
|
10a7868fc6
|
Invalid Function Parameter: Check calls to strtol and strtoul
|
2007-06-05 18:58:27 +00:00 |
|
Daniel Marjamäki
|
0b7686d2be
|
CheckHeaders: Minor update
|
2007-06-05 18:02:34 +00:00 |
|
Daniel Marjamäki
|
0531c02fca
|
CheckBufferOverrun: Optimized and improved the checking
|
2007-06-05 04:52:01 +00:00 |
|
Daniel Marjamäki
|
cf7485ce0c
|
Added check: 'IsAlpha'
|
2007-06-05 04:51:01 +00:00 |
|
Daniel Marjamäki
|
7b07271134
|
Tests: Updated the tests. Checking for unneeded includes
|
2007-06-04 06:36:08 +00:00 |
|
Daniel Marjamäki
|
eb24a6fecd
|
CheckHeaders: Check for unnecessary headers. some fixes.
|
2007-06-04 06:31:57 +00:00 |
|
Daniel Marjamäki
|
eade228c24
|
CheckMemoryLeak: Bug fix.
|
2007-06-03 17:09:15 +00:00 |
|
Daniel Marjamäki
|
7a8ee64068
|
tokenize: bug fixes. Handling typedefs.
|
2007-06-03 17:08:30 +00:00 |
|
Daniel Marjamäki
|
2ebf2dd530
|
Test: Updated 'testif2' which is testing the 'a=b; if (a!=b)'
|
2007-06-02 16:37:06 +00:00 |
|
Daniel Marjamäki
|
2490357054
|
Test: Test that 'a=b; if (a==b)' don't generate false positives
|
2007-06-02 16:33:46 +00:00 |
|
Daniel Marjamäki
|
2c9a688dd4
|
Test: Test that 'a=b; if (a==b)' is detected
|
2007-06-02 16:32:45 +00:00 |
|
Daniel Marjamäki
|
7b85324a0b
|
tokenize: Fixed the 'typedef' simplifications. Added token '#' upon preprocessor instructions.
|
2007-06-02 16:32:07 +00:00 |
|
Daniel Marjamäki
|
13657ab127
|
Test: Test that 'a=b; if (a==b)' is detected
|
2007-06-02 16:30:35 +00:00 |
|
Daniel Marjamäki
|
f9e684d135
|
CheckOther: Added check for 'a=b; if (a==b)'
|
2007-06-02 16:29:05 +00:00 |
|
Daniel Marjamäki
|
f3bbdbf144
|
tokenizer: made the 'SizeOfType' public. bug fix in the tokenizer (strings longer than 1000 characters).
|
2007-05-30 20:08:05 +00:00 |
|
Daniel Marjamäki
|
000d5c0249
|
CheckBufferOverrun.cpp: Bug fixes
|
2007-05-30 20:07:02 +00:00 |
|
Daniel Marjamäki
|
f99a79de9b
|
minor updates
|
2007-05-29 17:12:14 +00:00 |
|
Daniel Marjamäki
|
012ba2f492
|
Tokenize: Replace 'typedef'
|
2007-05-29 17:11:53 +00:00 |
|
Daniel Marjamäki
|
ae46002607
|
Tokenize: Simplify declarations
|
2007-05-29 06:24:36 +00:00 |
|
Daniel Marjamäki
|
a2df9a5647
|
Tokenize: Replace '*(var+num)' with 'var[num]'
|
2007-05-28 10:34:18 +00:00 |
|
Daniel Marjamäki
|
03bcdf9e6e
|
Tokenize: improved the preprocessing of 'sizeof(type)'
|
2007-05-28 06:17:18 +00:00 |
|
Daniel Marjamäki
|
95906c1b0f
|
tok: Added a program that tests the tokenizer.
|
2007-05-26 06:45:00 +00:00 |
|
Daniel Marjamäki
|
7908421e0e
|
Tokenize: Improved the tokenizer. Calculations are done in the tokenizer. sizeof is replaced with numbers.
|
2007-05-26 06:44:28 +00:00 |
|
Daniel Marjamäki
|
5753d4d776
|
Test: Added a buffer overrun test that contains a calculation that points at an illegal index
|
2007-05-26 06:43:35 +00:00 |
|
Daniel Marjamäki
|
7b7650ad97
|
Makefile: Updated because the program has been split up into several files.
|
2007-05-26 06:42:31 +00:00 |
|
Daniel Marjamäki
|
48a584201c
|
CheckBufferOverrun: Improved checking for types other than char
|
2007-05-26 06:41:41 +00:00 |