Daniel Marjamäki
|
5e10e680da
|
CWE: refactoring. use constants instead of magic numbers.
|
2016-01-25 20:01:48 +01:00 |
Roberto Martelloni
|
5ce69da02d
|
Mapped 26 errors to their CWEs ID.
|
2016-01-24 20:53:05 +00:00 |
Daniel Marjamäki
|
659cd96b03
|
Fixed #7209 (False positive: Array index used before limits check reported in sizeof)
|
2016-01-24 14:06:02 +01:00 |
Dmitry-Me
|
afe659cc88
|
This variable type looks very suspicious
|
2016-01-18 09:52:35 +03:00 |
Roberto Martelloni
|
bb6880919c
|
CWE mapping
|
2016-01-15 17:07:14 +01:00 |
Dmitry-Me
|
26788a1dc1
|
Remove repeated code, better variable name
|
2016-01-15 17:20:40 +03:00 |
Lauri Nurmi
|
996c9244d8
|
Update copyright year to 2007-2016.
|
2016-01-01 15:34:45 +02:00 |
Dmitry-Me
|
5cba4ac602
|
Omit unneeded deep copy
|
2015-12-23 10:32:59 +03:00 |
Dmitry-Me
|
155ccecf2f
|
Drop useless braces
|
2015-12-22 10:31:49 +03:00 |
PKEuS
|
32e2fb2f78
|
Refactorization: Prefer Token::simpleMatch over Token::Match also for non-const patterns.
|
2015-12-03 13:04:55 +01:00 |
Daniel Marjamäki
|
9c3f25603e
|
CheckBufferOverrun: Remove old checking of strings and use new ValueFlow-based checking instead (#6973)
|
2015-11-30 16:36:52 +01:00 |
PKEuS
|
ac17541ca9
|
Refactorizations:
- Fixed a few more MSVC warnings by using correct types
- Store severity as enum instead of string in Settings::Rule
|
2015-11-28 12:30:21 +01:00 |
Daniel Marjamäki
|
6b124a37d8
|
Cleanup some casts
|
2015-11-28 10:11:07 +01:00 |
Daniel Marjamäki
|
0f9d90d2be
|
Changed Copyrights. Removed my name.
|
2015-11-18 20:04:50 +01:00 |
Daniel Marjamäki
|
5074c11b53
|
CheckBufferOverrun: Fixed FP when accessing string that contains '\0'. Refactoring address-of.
|
2015-11-09 10:30:39 +01:00 |
Daniel Marjamäki
|
ef5be435c7
|
Fixed #7113 (False positive arrayIndexOutOfBounds - using pointer alias with cast)
|
2015-11-08 17:21:32 +01:00 |
Daniel Marjamäki
|
fc564d779e
|
Fixed #7112 (crash: CheckBufferOverrun::checkGlobalAndLocalVariable (invalid code))
|
2015-11-08 14:21:12 +01:00 |
Daniel Marjamäki
|
48da1d5396
|
Refactoring CheckBufferOverrun
|
2015-11-08 12:39:08 +01:00 |
Daniel Marjamäki
|
7d6e1974eb
|
Fixed #7104 (False positive arrayIndexOutOfBounds)
|
2015-11-08 09:30:23 +01:00 |
Daniel Marjamäki
|
35ed902e3f
|
Try to fix crash when using getMaxValue()
|
2015-11-07 19:59:48 +01:00 |
Daniel Marjamäki
|
32627dc558
|
try to fix internal errors detected by Travis
|
2015-11-07 19:47:30 +01:00 |
Daniel Marjamäki
|
9c7271a5e9
|
CheckBufferOverrun: The simplifyKnownVariables() has been reduced, use ValueFlow instead
|
2015-11-07 18:12:01 +01:00 |
Daniel Marjamäki
|
d0ab3aea70
|
CheckBufferOverrun: Minor fixes for strings
|
2015-11-07 15:05:56 +01:00 |
Daniel Marjamäki
|
be7bca385d
|
avoid some fixes for noisy signedness warnings
|
2015-10-11 12:50:46 +02:00 |
Dmitry-Me
|
139ead15ef
|
Merge overlapping patterns
|
2015-09-01 16:17:17 +03:00 |
PKEuS
|
ab8afec3eb
|
Refactorizations:
- Avoid unnecessary loop iterations
- Avoid unnecessary condition checking
- Reduced code duplication in symboldatabase.cpp
|
2015-08-16 14:23:07 +02:00 |
PKEuS
|
4d80df2f4a
|
Added pointer to Type to Token (similar to Token::Variable() and Token::function()):
- Accessible via Token::type()
- Renamed former Token::type() to Token::tokType()
- Removed SymbolDatabase::isClassOrStruct()
|
2015-08-15 11:19:21 +02:00 |
Daniel Marjamäki
|
6790d91fbb
|
Improve error messages for conditional values. make valueFlowSwitchVariable values conditional that depend on the case. Partial fix for #6884.
|
2015-07-29 19:54:57 +02:00 |
Daniel Marjamäki
|
c5bbea2994
|
Fixed #6816 (FP: buffer overflow, checkminsizes of array with string value)
|
2015-07-27 16:39:41 +02:00 |
Daniel Marjamäki
|
fef251ac76
|
negative array size: fixed noise when array is not vla
|
2015-07-04 09:42:42 +02:00 |
amai2012
|
11538c84f6
|
Refactoring: Distinguish between C and C++ code
Refactoring: Replace CheckNonReentrantFunctions::initNonReentrantFunctions by static initialization
|
2015-06-29 21:17:15 +02:00 |
Martin Ettl
|
b8e08ca5d8
|
Code cleanup.
|
2015-06-28 19:27:23 +02:00 |
Martin Ettl
|
7ff4d10c43
|
Astyle formatting, no functional changes.
|
2015-06-28 19:25:13 +02:00 |
amai2012
|
5814c3b84c
|
Fix some compiler warnings with VS
Minor refactoring on Windows SEH code.
|
2015-06-28 19:20:16 +02:00 |
Alexander Mai
|
0b225fa02f
|
2nd attempt to fix crash in CheckUnusedFunctions::check. CheckBufferOverrun::checkBufferAllocatedWithStrlen: Don't check for 'new' in C code.
|
2015-06-28 18:34:09 +02:00 |
Alexander Mai
|
02a3a01eca
|
Fix compiler warnings
|
2015-06-28 18:07:31 +02:00 |
Alexander Mai
|
2c73518e29
|
Fix platform-dependent test result, formatting and crash in whole program analysis
|
2015-06-28 17:54:48 +02:00 |
Daniel Marjamäki
|
0ca410a4d7
|
Fixed #6668 (False positive bufferAccessOutOfBounds on sprintf() - regression)
|
2015-06-07 14:01:20 +02:00 |
Martin Ettl
|
d5d6d7fbb8
|
Running astyle, no functional changes.
|
2015-05-29 20:20:05 +02:00 |
amai2012
|
5b347c537b
|
Fix #6720 and #6721 (Crashes on garbage code)
Local fixes to avoid access to NULL-token
|
2015-05-29 19:30:55 +02:00 |
PKEuS
|
3ce4e68ca6
|
Refactorization: Make use of do-loops to avoid redundant Token::Match() calls
|
2015-05-13 13:40:40 +02:00 |
Daniel Marjamäki
|
baa1ae079d
|
New check: negative size in array declaration. Ticket #1760
|
2015-05-03 15:00:47 +02:00 |
Daniel Marjamäki
|
88f59ad7e8
|
Partial fix for #6656 (Allow that CWE is mapped for error message)
|
2015-04-25 17:48:11 +02:00 |
Matthias Krüger
|
42f0955e3f
|
Move more setting checks out of loops and use const bools instead. Reorder a few related checks.
Follow up to eedcb6abcb .
|
2015-04-10 14:31:19 +02:00 |
Dmitry-Me
|
d735918a8a
|
Constructor parameter type need not be a number
|
2015-03-25 14:56:45 +03:00 |
Dmitry-Me
|
9398fa810b
|
Avoid value truncation
|
2015-03-25 10:39:09 +03:00 |
Dmitry-Me
|
c9cdba5865
|
Remove duplicate check
|
2015-03-24 15:58:03 +03:00 |
Dmitry-Me
|
4fcbe00913
|
Omit unnecessary operations
|
2015-03-19 15:14:07 +03:00 |
Dmitry-Me
|
2b50e73aa9
|
Misleading comment
|
2015-03-14 15:18:29 +03:00 |
PKEuS
|
cb4bf73749
|
Merge pull request #530 from Dmitry-Me/doChecksEarlier
Don't run the checks which will be silenced later anyway
|
2015-02-25 19:22:00 +01:00 |