Daniel Marjamäki
|
272fbfeb74
|
ExprEngine; Fix Z3 usage for floats
|
2020-01-16 19:35:05 +01:00 |
|
Daniel Marjamäki
|
bc737be0b5
|
ExprEngine; OLD_Z3 => NEW_Z3
|
2020-01-16 18:59:47 +01:00 |
Dmitry-Me
|
01e0a61ebe
|
Break loops earlier
|
2020-01-16 18:37:10 +03:00 |
|
Daniel Marjamäki
|
76a048a2c1
|
Bug hunting; 'hide' the uninitialized variables checking, I need to focus on division by zero and clang import
|
2020-01-15 21:06:00 +01:00 |
|
Daniel Marjamäki
|
9507fccfc1
|
ExprEngine: Quick hacks for old Z3 compatibility
|
2020-01-15 19:46:00 +01:00 |
|
Daniel Marjamäki
|
52d72b6ffc
|
ExprEngine; Fix crash
|
2020-01-15 18:35:55 +01:00 |
|
Daniel Marjamäki
|
446e7c3c0e
|
ExprEngine; Fix fp in edgevalue
|
2020-01-15 17:51:34 +01:00 |
|
Daniel Marjamäki
|
c79ec9e956
|
ExprEngine: sizeof()
|
2020-01-15 15:24:36 +01:00 |
|
Daniel Marjamäki
|
5ac0eb100c
|
Bug hunting; avoid crash when argument is NULL
|
2020-01-15 07:15:47 +01:00 |
|
Daniel Marjamäki
|
7820b5dbcc
|
Rename 'Verification' to 'Bug hunting'
|
2020-01-14 21:17:07 +01:00 |
|
Daniel Marjamäki
|
dfbf347912
|
Clang import; Better type
|
2020-01-13 17:56:30 +01:00 |
|
Daniel Marjamäki
|
a17ded3862
|
Clang import; handle {} that is not a scope better
|
2020-01-13 13:16:02 +01:00 |
|
Daniel Marjamäki
|
066e43cce3
|
Clang import; InitListExpr
|
2020-01-13 12:44:35 +01:00 |
|
Daniel Marjamäki
|
bd41b3d713
|
Clang import; Fixed function arguments in SymbolDatabase
|
2020-01-13 05:52:46 +01:00 |
|
Daniel Marjamäki
|
9f3df5d630
|
Clang import; CompoundAssignOperator
|
2020-01-12 18:41:46 +01:00 |
|
Daniel Marjamäki
|
ae7ff940e6
|
Clang import; minor tweaks
|
2020-01-12 18:05:45 +01:00 |
|
Daniel Marjamäki
|
1e207e42c5
|
CppCheck: Try to handle '"' properly in split()
|
2020-01-12 17:13:26 +01:00 |
|
Daniel Marjamäki
|
f4f4377fbf
|
Clang import; Constructor arguments, ExprWithCleanups
|
2020-01-12 16:49:02 +01:00 |
|
Daniel Marjamäki
|
47e186864b
|
Clang import; Set function pointer properly
|
2020-01-12 15:15:21 +01:00 |
|
Daniel Marjamäki
|
fd1809590c
|
Token: Write function() in ast debug output
|
2020-01-12 15:04:25 +01:00 |
|
Daniel Marjamäki
|
0e75f16510
|
verificationUninit: ignore bailout values until it's less noisy
|
2020-01-12 14:52:15 +01:00 |
|
Daniel Marjamäki
|
1bad69923c
|
astyle formatting
[ci skip]
|
2020-01-12 13:35:39 +01:00 |
|
Daniel Marjamäki
|
166402b5cf
|
verificationUninit: Avoid some false positives for 'bailout' values
|
2020-01-12 13:35:09 +01:00 |
|
Daniel Marjamäki
|
88429382b7
|
Verification; Avoid obvious verificationUninit false positives during bailout
|
2020-01-12 11:53:49 +01:00 |
|
Daniel Marjamäki
|
55ea06354b
|
ExprEngine: BailoutValue is uninitialized
|
2020-01-12 10:42:20 +01:00 |
|
Daniel Marjamäki
|
e78438e990
|
astyle formatting
[ci skip]
|
2020-01-12 10:32:47 +01:00 |
|
Daniel Marjamäki
|
7704f6578f
|
Verification; Fix struct member false negative
|
2020-01-12 10:29:03 +01:00 |
Rikard Falkeborn
|
c6e74f4c10
|
Mathlib: Fix value of suffixed binary integer literal (#2487)
|
2020-01-12 08:11:12 +01:00 |
|
Daniel Marjamäki
|
668212ac2f
|
SymbolDatabase: Type lookup for clang type strings
|
2020-01-11 21:24:15 +01:00 |
|
Daniel Marjamäki
|
cde757bcd3
|
Clang import; Type fixes
|
2020-01-11 18:39:59 +01:00 |
|
Daniel Marjamäki
|
abc51afcf1
|
Clang import; parse clang ast type with ValueType::parseDecl
|
2020-01-11 18:07:57 +01:00 |
|
Daniel Marjamäki
|
ba244be2d6
|
Clang import; getType()
|
2020-01-11 16:49:30 +01:00 |
|
Daniel Marjamäki
|
aa090a8b45
|
Clang import; addTypeTokens for function return type
|
2020-01-11 16:40:22 +01:00 |
|
Daniel Marjamäki
|
f7f5f10de4
|
Clang import; Tweaked IfStmt (Clang 3.8 compatibility)
|
2020-01-11 16:15:18 +01:00 |
|
Daniel Marjamäki
|
05a34142aa
|
Clang import; forward class declaration
|
2020-01-11 16:02:25 +01:00 |
|
Daniel Marjamäki
|
380cc78077
|
Clang; Run ValueFlow
|
2020-01-11 14:00:41 +01:00 |
|
Daniel Marjamäki
|
6b983a9587
|
Revert ValueFlow changes, there was unexpected problems in testrunner
|
2020-01-11 13:11:19 +01:00 |
|
Daniel Marjamäki
|
052eaba632
|
Clang; run ValueFlow analysis
|
2020-01-11 13:04:51 +01:00 |
|
Daniel Marjamäki
|
9c38a659a1
|
Clang import; Fixed CXXConstructExpr without child
|
2020-01-11 12:16:48 +01:00 |
|
Daniel Marjamäki
|
96ff57e275
|
ValueFlow; Refactoring
|
2020-01-11 09:17:32 +01:00 |
|
Daniel Marjamäki
|
30bc67c691
|
Clang import; CXXNullPtrLiteralExpr
|
2020-01-10 19:01:33 +01:00 |
|
Daniel Marjamäki
|
7a3bedb583
|
Clang import; CXXConstructExpr
|
2020-01-10 18:54:28 +01:00 |
|
Daniel Marjamäki
|
c23d33fc0a
|
Clang import; Fixed getSpelling() and getType()
|
2020-01-10 18:13:47 +01:00 |
|
Daniel Marjamäki
|
f667abacf6
|
Clang import; character literal '\'
|
2020-01-10 17:37:36 +01:00 |
|
Daniel Marjamäki
|
4c778e0999
|
Clang import; Rename files/namespace
|
2020-01-10 16:29:06 +01:00 |
|
Daniel Marjamäki
|
8f1a50ffc0
|
Clang import; CStyleCastExpr
|
2020-01-10 16:19:01 +01:00 |
|
Daniel Marjamäki
|
75fd4809e6
|
Fix compiler warning
|
2020-01-10 15:08:53 +01:00 |
|
Daniel Marjamäki
|
797ed88147
|
Fix Cppcheck warning
|
2020-01-10 15:04:07 +01:00 |
|
Daniel Marjamäki
|
729fca8728
|
Clang import; handle locations better, only expand function bodies in source file
|
2020-01-10 14:59:34 +01:00 |
|
Daniel Marjamäki
|
e7e80a574d
|
Clang import; types
|
2020-01-10 12:13:50 +01:00 |