maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/Analysis
History
Aaron Ballman 2c0febe3e6 Output "rule" information in SARIF exports. 
SARIF allows you to export descriptions about rules that are present in the SARIF log. Expose the help text table generated into Checkers.inc as the rule's "full description" and export all of the rules present in the analysis output. This information is useful for analysis result viewers like CodeSonar.

llvm-svn: 345874
 		2018-11-01 18:57:38 +00:00
..
Checkers [analyzer] Bugfix for autorelease + main run loop leak checker 2018-07-30 22:18:21 +00:00
Inputs [analyzer][PlistMacroExpansion] Part 1.: New expand-macros flag 2018-10-31 14:54:27 +00:00
copypaste [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
diagnostics Output "rule" information in SARIF exports. 2018-11-01 18:57:38 +00:00
engine Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
exploration_order [analyzer] Fix the filename for the exploration_order test. 2018-05-11 20:38:39 +00:00
html_diagnostics/relevant_lines [analyzer] [tests] [quickfix] Make the test more resilient for a non-defaut std configuration 2018-10-03 20:46:50 +00:00
inlining [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
objc Fix typos in clang 2018-04-06 15:14:32 +00:00
unified-sources [analyzer] Enable analysis of WebKit "unified sources". 2018-04-25 21:51:26 +00:00
z3 [Analyzer][Z3] Test fixes for Z3 constraint manager 2018-06-06 06:25:51 +00:00
CFContainers-invalid.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
CFContainers.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
CFNumber.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
CFRetainRelease_NSAssertionHandler.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
CGColorSpace.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
CheckNSError.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
DeallocMissingRelease.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
DeallocUseAfterFreeErrors.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
DeleteWithNonVirtualDtor.cpp [analyzer] Add new delete with non-virtual destructor check 2017-09-22 10:16:33 +00:00
DynamicTypePropagation.m [analyzer] Fix a crash when an ObjC object is constructed in AllocaRegion. 2017-06-12 17:59:50 +00:00
MPIMock.h [analyzer] Add checker to verify the correct usage of the MPI API 2016-06-13 03:22:41 +00:00
Malloc+MismatchedDeallocator+NewDelete.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
Malloc+MismatchedDeallocator_intersections.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
Malloc+NewDelete_intersections.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
MemRegion.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
MismatchedDeallocator-checker-test.mm [analyzer] NFC: Run many existing C++ tests with a custom operator new(). 2018-01-24 21:24:10 +00:00
MismatchedDeallocator-path-notes.cpp [analyzer] [NFC] Change the tests by making the version check more resilient 2018-09-11 18:45:15 +00:00
MissingDealloc.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
MisusedMovedObject.cpp [analyzer] Support Reinitializes attribute in MisusedMovedObject check 2018-10-09 07:28:57 +00:00
NSContainers.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NSPanel.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NSString.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NSWindow.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NewDelete+MismatchedDeallocator_intersections.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NewDelete-atomics.cpp [analyzer] Suppress more MallocChecker positives in smart pointer destructors. 2018-03-21 00:49:47 +00:00
NewDelete-checker-test.cpp [analyzer] NFC: Run many existing C++ tests with a custom operator new(). 2018-01-24 21:24:10 +00:00
NewDelete-custom.cpp [analyzer] pr39348: MallocChecker: Realize that sized delete isn't custom delete. 2018-11-01 00:43:35 +00:00
NewDelete-intersections.mm [analyzer] NFC: Run many existing C++ tests with a custom operator new(). 2018-01-24 21:24:10 +00:00
NewDelete-path-notes.cpp [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
NewDelete-sized-deallocation.cpp [analyzer] pr39348: MallocChecker: Realize that sized delete isn't custom delete. 2018-11-01 00:43:35 +00:00
NewDelete-variadic.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NewDeleteLeaks-PR18394.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NewDeleteLeaks-PR19102.cpp [analyzer] Suppress "this" pointer escape during construction. 2018-01-18 00:44:41 +00:00
NoReturn.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
OSAtomic_mac.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
ObjCProperties.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
ObjCPropertiesSyntaxChecks.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
ObjCRetSigs.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
PR2978.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
PR3991.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
PR7218.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
PR9741.cpp
…
PR12905.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
PR24184.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
PR37855.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
PR38208.c Fix for last commit: adding new test file forgotten. 2018-07-23 10:53:02 +00:00
_Bool-increment-decrement.c [Analyzer] More accurate modeling about the increment operator of the operand with type bool. 2018-03-06 12:29:09 +00:00
additive-folding-range-constraints.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
additive-folding.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
analyzeOneFunction.m Fix typos in clang 2018-04-06 15:14:32 +00:00
analyzer-checker-config.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
analyzer-config.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
analyzer-config.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
analyzer-display-progress.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
analyzer-display-progress.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
analyzer-enabled-checkers.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
analyzer-stats.c [analyzer] Prevent AnalyzerStatsChecker from crash 2018-02-21 16:06:56 +00:00
analyzer_test.py [analyzer] [NFC] Introduce separate targets for testing the analyzer: check-clang-analyzer and check-clang-analyzer-z3 2018-08-13 23:12:43 +00:00
arc-zero-init.m [analyzer] Fix zero-initialization of stack VLAs under ObjC ARC. 2017-12-21 18:43:02 +00:00
array-struct-region.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
array-struct-region.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
array-struct.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
asm.cpp [AST, analyzer] Transform rvalue cast outputs to lvalues (fheinous-gnu-extensions) 2018-10-20 22:49:23 +00:00
atomics.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
auto-obj-dtors-cfg-output.cpp [CFG] [analyzer] Simplify lifetime-extended temporary construction contexts. 2018-06-28 00:18:52 +00:00
autoreleasewritechecker_test.m [analyzer] Extend ObjCAutoreleaseWriteChecker to catch block declarations with autoreleasing variables 2018-05-16 22:47:05 +00:00
base-init.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
bitwise-ops.c [analyzer] Fix constraint being dropped when analyzing a program without taint tracking enabled 2018-07-16 13:14:46 +00:00
block-in-critical-section.cpp [analyzer] lock_guard and unique_lock extension for BlockInCriticalSection checker 2017-10-30 10:09:55 +00:00
block-in-critical-section.m Add missing expected-no-diagnostics comment to test. 2017-10-30 09:01:48 +00:00
blocks-no-inline.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
blocks.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
blocks.mm [CFG] Add construction context for simple variable declarations. 2018-02-10 01:55:23 +00:00
bool-assignment.c Revert "[analyzer] Support generating and reasoning over more symbolic constraint types" 2017-07-12 21:43:42 +00:00
bool-increment.cpp [Analyzer] More accurate modeling about the increment operator of the operand with type bool. 2018-03-06 12:29:09 +00:00
bsd-string.c [CStringSyntaxChecker] Check strlcpy sizeof syntax 2018-07-19 21:50:03 +00:00
bstring.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
bstring.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
bug_hash_test.cpp [analyzer] Use the signature of the primary template for issue hash calculation 2017-10-30 12:16:07 +00:00
bug_hash_test.m [analyzer] Make issue hash related tests more concise 2017-10-30 12:02:23 +00:00
builtin-functions.cpp [analyzer] Add support for __builtin_constant_p. 2018-02-10 00:51:47 +00:00
builtin_signbit.cpp Fix __builtin_signbit for ppcf128 type 2015-11-06 14:52:46 +00:00
call-invalidation.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
call_once.cpp [analyzer] Do not crash on callback for call_once passed by value 2018-05-16 00:29:13 +00:00
cast-to-struct.cpp [analyzer] Fix crashes in CastToStruct checker for undefined structs 2017-03-07 19:20:48 +00:00
castexpr-callback.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
casts.c [analyzer] Fix tests on 32-bit platforms by specifying the tuple explicitly 2018-08-29 21:18:47 +00:00
casts.cpp [analyzer] [tests] [quickfix] Make more test more resilient for non-defaut -std. 2018-10-03 22:48:00 +00:00
casts.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
cfg-indirect-goto-determinism.cpp [Analyzer] Stable iteration on indirect goto LabelDecl's to avoid non-determinism (attempt 2) 2017-11-21 11:27:47 +00:00
cfg-rich-constructors.cpp [CFG] [analyzer] Disable argument construction contexts for variadic functions. 2018-08-29 21:50:52 +00:00
cfg-rich-constructors.mm [CFG] [analyzer] Implement function argument construction contexts. 2018-07-31 20:45:53 +00:00
cfg.cpp [AST, analyzer] Transform rvalue cast outputs to lvalues (fheinous-gnu-extensions) 2018-10-20 22:49:23 +00:00
cfref_PR2519.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
cfref_rdar6080742.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
check-deserialization.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
checker-plugins.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
chroot.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
comparison-implicit-casts.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
complex-init-list.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
complex.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
compound-literals.c [analyzer] pr28449: Fix support for various array initializers. 2017-10-13 20:54:56 +00:00
concrete-address.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
conditional-operator.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
conditional-path-notes.c [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
const-method-call.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
constant-folding.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
constraint_manager_negate_difference.c [Analyzer] Quick Fix for exponential execution time when simpilifying complex additive expressions 2018-07-23 10:50:20 +00:00
conversion.c [analyzer] Promote StdCLibraryFunctionsChecker to the apiModeling category. 2018-10-02 20:50:40 +00:00
copy-elision.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
coverage.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
crash-trace.c [analyzer] Self-debug: Dump environment frame-by-frame. 2018-02-08 22:24:38 +00:00
cstring-plist.c Revert "Revert "Revert "Revert "[analyzer] Add coverage information to plist output, update tests"""" 2018-09-07 21:58:24 +00:00
cstring-ranges.c [analyzer] CStringChecker: Remember to highlight the argument expression range. 2018-07-30 23:44:37 +00:00
cstring-syntax-cxx.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
cstring-syntax.c [CStringSyntaxChecker] Check strlcat sizeof check 2018-09-23 08:30:17 +00:00
ctor.mm [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
ctu-hdr.h [analyzer][ctu] fix unsortable diagnostics 2018-07-04 14:12:58 +00:00
ctu-main.cpp [analyzer][ctu] fix unsortable diagnostics 2018-07-04 14:12:58 +00:00
cxx-crashes.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
cxx-for-range-cfg.cpp
…
cxx-for-range.cpp [cxx2a] P0614R1: Support init-statements in range-based for loops. 2018-09-28 18:44:09 +00:00
cxx-method-names.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
cxx-uninitialized-object-inheritance.cpp [analyzer][UninitializedObjectChecker] Correct dynamic type is acquired for record pointees 2018-09-14 09:13:36 +00:00
cxx-uninitialized-object-no-dereference.cpp [analyzer][UninitializedObjectChecker] New flag to turn off dereferencing 2018-08-07 12:55:26 +00:00
cxx-uninitialized-object-notes-as-warnings.cpp [analyzer][UninitializedObjectChecker] New flag to turn off dereferencing 2018-08-07 12:55:26 +00:00
cxx-uninitialized-object-ptr-ref.cpp [analyzer][UninitializedObjectChecker] Reports Loc fields pointing to themselves 2018-10-11 11:58:53 +00:00
cxx-uninitialized-object-unionlike-constructs.cpp [analyzer][UninitializedObjectChecker] New flag to ignore records based on it's fields 2018-09-14 10:10:09 +00:00
cxx-uninitialized-object.cpp [analyzer][UninitializedObjectChecker] Fixed dereferencing 2018-09-14 08:58:21 +00:00
cxx11-crashes.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
cxxnewexpr-callback-inline.cpp [analyzer] operator new: Fix callback order for CXXNewExpr. 2018-01-18 00:53:50 +00:00
cxxnewexpr-callback-noinline.cpp [analyzer] operator new: Fix callback order for CXXNewExpr. 2018-01-18 00:53:50 +00:00
dead-stores.c Fix typos in clang 2018-04-06 15:14:32 +00:00
dead-stores.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
dead-stores.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
debug-CallGraph.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
default-analyze.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
default-diagnostic-visitors.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
delayed-template-parsing-crash.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
delegates.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
derived-to-base.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
designated-initializer.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
disable-all-checks.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
dispatch-once.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
div-zero.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
division-by-zero.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
domtest.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
dtor-cxx11.cpp Remove explicit cfg-temporary-dtors=true 2018-05-04 14:13:14 +00:00
dtor.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
dtors-in-dtor-cfg-output.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
dump_egraph.c [analyzer] Fix crash in exploded graph dumping 2018-10-02 21:19:01 +00:00
dump_egraph.cpp [analyzer] Fix dumping for SymbolConjured conjured at no particular statement. 2018-10-22 20:11:10 +00:00
dynamic-cast.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
dynamic_type_check.m Fix typos in clang 2018-04-06 15:14:32 +00:00
edges-new.mm [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
elementtype.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
end-function-return-stmt.cpp [analyzer] Obtain a ReturnStmt from a CFGAutomaticObjDtor. 2018-08-02 22:31:03 +00:00
enum.cpp [analyzer] Start fixing modeling of bool based types 2017-07-11 00:30:14 +00:00
exceptions.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
exercise-ps.c [analyzer] Fix autodetection of binding types. 2017-10-04 15:59:40 +00:00
explain-svals.c [analyzer] Improve usability of ExprInspectionChecker 2017-03-09 00:01:10 +00:00
explain-svals.cpp [Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyzer Option) 2018-04-11 06:21:12 +00:00
explain-svals.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
expr-inspection.c [analyzer] Self-debug: Dump environment frame-by-frame. 2018-02-08 22:24:38 +00:00
expr-inspection.cpp [analyzer] Add a testing facility for testing relationships between symbols. 2018-09-25 23:50:53 +00:00
fields.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
free.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
func-mapping-test.cpp Add Cross Translation Unit support library 2017-09-22 11:11:01 +00:00
func.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
gcdantipatternchecker_test.m [analyzer] Fix GCDAntipatternChecker to only fire when the semaphore is initialized to zero 2018-07-16 20:32:57 +00:00
generics.m [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
global-region-invalidation.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
global_region_invalidation.mm [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
globals.cpp [analyzer] Treat more const variables and fields as known contants. 2018-05-04 20:52:39 +00:00
gmalloc.c [analyzer] Teach the MallocChecker about Glib API for two arguments 2017-04-26 05:33:14 +00:00
gtest.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
hangs.c [analyzer] Improve performance of the SVal simplification mechanism. 2018-05-31 17:22:38 +00:00
html-diag-singlefile.c [Analyzer] Add support for displaying cross-file diagnostic paths in HTML output 2017-08-03 18:12:22 +00:00
html-diag-singlefile.h [Analyzer] Add support for displaying cross-file diagnostic paths in HTML output 2017-08-03 18:12:22 +00:00
html-diags-analyze-headers.c [Analyzer] Add support for displaying cross-file diagnostic paths in HTML output 2017-08-03 18:12:22 +00:00
html-diags-analyze-headers.h [Analyzer] Add support for displaying cross-file diagnostic paths in HTML output 2017-08-03 18:12:22 +00:00
html-diags-multifile.c [Analyzer] Add support for displaying cross-file diagnostic paths in HTML output 2017-08-03 18:12:22 +00:00
html-diags-multifile.h
…
html-diags.c Fixup for r310950: Also remove the new instance of %T from html-diags.c 2017-08-15 19:54:04 +00:00
identical-expressions.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
implicit-ctor-undef-value.cpp [analyzer] UndefinedAssignmentChecker: Better warning message in implicit ctors. 2018-02-27 22:05:55 +00:00
index-type.c [analyzer] Use sufficiently large types for index bounds calculation. 2018-06-28 00:42:11 +00:00
initialization.c [analyzer] const init: handle non-explicit cases more accurately 2018-05-29 14:14:22 +00:00
initialization.cpp [analyzer] const init: handle non-explicit cases more accurately 2018-05-29 14:14:22 +00:00
initializer.cpp Restructure checking for, and warning on, lifetime extension. 2018-07-17 22:24:09 +00:00
initializers-cfg-output.cpp [CFG] Add construction context for constructor initializers. 2018-02-10 02:18:04 +00:00
inline-not-supported.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
inline-plist.c [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
inline-unique-reports.c [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
inline.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
inline.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
inline2.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
inline3.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
inline4.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
inner-pointer.cpp [analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible 2018-09-21 20:36:41 +00:00
invalidated-iterator.cpp [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert, emplace and erase operations 2018-09-10 09:07:47 +00:00
iterator-range.cpp [Analyzer] Iterator Checker - Part 10: Tests for iterators passed as parameter 2018-10-13 10:24:48 +00:00
ivars.m [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
keychainAPI-diagnostic-visitor.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
keychainAPI.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
kmalloc-linux.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
lambda-notes.cpp [analyzer] [NFC] Change the tests by making the version check more resilient 2018-09-11 18:45:15 +00:00
lambdas-generalized-capture.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
lambdas.cpp Invalidate static locals when escaping lambdas 2018-08-10 18:28:04 +00:00
lambdas.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
lifetime-cfg-output.cpp [analyzer] Enable cfg-temporary-dtors by default. 2018-03-01 18:53:13 +00:00
lifetime-extension.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
lifetime-extension.mm [CFG] [analyzer] Add construction contexts for returning C++ objects in ObjC++. 2018-07-31 19:46:14 +00:00
lit.local.cfg Output "rule" information in SARIF exports. 2018-11-01 18:57:38 +00:00
live-bindings-test.cpp [analyzer] Fix liveness calculation for C++17 structured bindings 2018-03-31 01:20:06 +00:00
live-variables.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
live-variables.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
localization-aggressive.m [analyzer] Add annotation for functions taking user-facing strings 2017-07-14 10:24:36 +00:00
localization.m Fix typos in clang 2018-04-06 15:14:32 +00:00
logical-ops.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
loop-unrolling.cpp [Analyzer][Z3] Test fixes for Z3 constraint manager 2018-06-06 06:25:51 +00:00
loop-widening-ignore-static-methods.cpp [analyzer] Avoid querying this-pointers for static-methods. 2018-08-07 23:13:28 +00:00
loop-widening-notes.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
loop-widening-preserve-reference-type.cpp [analyzer] Ensure that loop widening does not invalidate references 2018-06-12 22:22:35 +00:00
loop-widening.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
loopexit-cfg-output.cpp [CFG] Add LoopExit information to CFG 2017-08-19 11:19:16 +00:00
lvalue.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-annotations.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-custom.c [NFC] fix trivial typos in comments 2018-01-22 07:44:38 +00:00
malloc-fnptr-plist.c [analyzer] MallocChecker: Fix one more bug category. 2018-02-08 23:28:29 +00:00
malloc-free-after-return.cpp [analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible 2018-09-21 20:36:41 +00:00
malloc-interprocedural.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-overflow.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-overflow.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-overflow2.c [analyzer] Move zero-size allocation checks to optin.portability. 2017-06-27 11:14:39 +00:00
malloc-plist.c [analyzer] [NFC] Change the tests by making the version check more resilient 2018-09-11 18:45:15 +00:00
malloc-protoype.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-sizeof.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-sizeof.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-three-arg.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc.c [Analyzer] alpha.unix.cstring.OutOfBounds checker enable/disable fix 2018-07-13 13:44:44 +00:00
malloc.cpp [analyzer] NFC: Run many existing C++ tests with a custom operator new(). 2018-01-24 21:24:10 +00:00
malloc.m [analyzer] Clarify 'uninitialized function argument' messages 2017-03-08 15:22:24 +00:00
malloc.mm [analyzer] When we fail to evaluate a pointer cast, escape the pointer. 2018-04-19 23:24:32 +00:00
max-nodes-suppress-on-sink.c [analyzer] Further improve suppress-on-sink behavior in incomplete analyses. 2017-07-25 09:25:10 +00:00
max-nodes-suppress-on-sink.cpp [analyzer] Treat throws as sinks for suppress-on-sink purposes. 2017-07-25 09:44:02 +00:00
member-expr.cpp [analyzer] [tests] [quickfix] Make more test more resilient for non-defaut -std. 2018-10-03 22:48:00 +00:00
method-arg-decay.m
…
method-call-intra-p.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
method-call-path-notes.cpp [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
method-call.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-64.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-arm.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-cxx0x.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-eager-assume.m [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
misc-ps-ranges.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-region-store-i386.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-region-store-x86_64.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-region-store.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-region-store.m Fix typos in clang 2018-04-06 15:14:32 +00:00
misc-ps-region-store.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
misc-ps.m [analyzer] Clarify 'uninitialized function argument' messages 2017-03-08 15:22:24 +00:00
mismatched-iterator.cpp [Analyzer] Iterator Checker - Part 10: Tests for iterators passed as parameter 2018-10-13 10:24:48 +00:00
missing-bind-temporary.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
mmap-writeexec.c [analyzer] MmapWriteExecChecker: Add support for mprotect(). 2018-03-09 01:47:24 +00:00
model-file.cpp [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
mpichecker.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
mpicheckernotes.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
new-aligned.cpp [analyzer] Teach CallEvent about C++17 aligned operator new(). 2018-10-15 17:53:18 +00:00
new-ctor-conservative.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
new-ctor-inlined.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
new-ctor-malloc.cpp [analyzer] operator new: Fix path diagnostics around the operator call. 2018-01-18 00:10:21 +00:00
new-ctor-null-throw.cpp [analyzer] Assume that the allocated value is non-null before construction. 2018-01-24 20:32:26 +00:00
new-ctor-null.cpp [analyzer] Assume that the allocated value is non-null before construction. 2018-01-24 20:32:26 +00:00
new-ctor-recursive.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
new-ctor-symbolic.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
new-dynamic-types.cpp [analyzer] Don't crash when dynamic type of a variable is set via placement new. 2018-02-27 20:54:40 +00:00
new-with-exceptions.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
new.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
nil-receiver-undefined-larger-than-voidptr-ret-region.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
nil-receiver-undefined-larger-than-voidptr-ret.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
no-exit-cfg.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
no-outofbounds.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
no-unreachable-dtors.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
non-diagnosable-assumptions.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
nonnull-global-constants.mm [Analyzer] Assume that CFBooleanRef const globals are non-null 2017-10-13 00:51:41 +00:00
nonnull.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
nonnullparamchecker-crash.cpp [analyzer] Explicitly set an -std level for the analyzer test. 2018-03-14 23:50:18 +00:00
novoidtypecrash.c [analyzer] Only attempt to get the value of locations of known type 2018-02-27 19:28:52 +00:00
null-deref-offsets.c [analyzer] Improve subscripting null arrays for catching null dereferences. 2017-04-24 20:55:07 +00:00
null-deref-path-notes.c [analyzer] Do not run visitors until the fixpoint, run only once. 2018-06-26 21:12:08 +00:00
null-deref-path-notes.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
null-deref-path-notes.m [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
null-deref-ps-region.c [analyzer] Improve the modeling of memset(). 2018-05-16 12:37:53 +00:00
null-deref-ps.c [Sema] Re-land: Diagnose tautological comparison with type's min/max values 2017-10-15 20:13:17 +00:00
null-deref-static.m [analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks. 2017-01-25 10:21:45 +00:00
nullability-no-arc.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
nullability-notes.m [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
nullability.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
nullability.mm Fix typos in clang 2018-04-06 15:14:32 +00:00
nullability_nullonly.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
nullptr.cpp PR23833, DR2140: an lvalue-to-rvalue conversion on a glvalue of type 2018-10-30 02:02:49 +00:00
number-object-conversion.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
number-object-conversion.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
number-object-conversion.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
number-object-conversion.mm [analyzer] Don't throw NSNumberObjectConversion warning on object initialization in if-expression 2018-03-02 21:34:24 +00:00
objc-arc.m [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
objc-bool.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
objc-boxing.m [analyzer] Fix leak false positives on stuff put in C++/ObjC initializer lists. 2017-10-05 08:43:32 +00:00
objc-encode.m [analyzer] pr28449: Fix support for various array initializers. 2017-10-13 20:54:56 +00:00
objc-for.m [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
objc-message.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
objc-method-coverage.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
objc-properties.m Fix typos in clang 2018-04-06 15:14:32 +00:00
objc-radar17039661.m [analyzer] [NFC] Remove unused Extensive diagnostic setting, 2018-06-12 19:07:41 +00:00
objc-string.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
objc-subscript.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
objc_invalidation.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
objcpp-uninitialized-object.mm [analyzer][UninitializedObjectChecker] Fixed dereferencing 2018-09-14 08:58:21 +00:00
offsetofexpr-callback.c [analyzer] Add missing pre-post-statement callbacks for OffsetOfExpr. 2018-02-10 00:55:49 +00:00
openmp-unsupported.c [Analyzer] Terminate analysis on OpenMP code instead of assertion crash 2017-03-03 16:58:53 +00:00
operator-calls.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
osobject-retain-release.cpp [analyzer] Re-add custom OSIterator rule for RetainCountChecker 2018-10-31 17:38:46 +00:00
out-of-bounds-new.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
out-of-bounds.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
outofbound-notwork.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
outofbound.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
override-werror.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
padding_c.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
padding_cpp.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
padding_inherit.cpp [analyzer] Allow padding checker to traverse simple class hierarchies 2018-10-30 01:20:37 +00:00
padding_message.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
plist-diagnostics-template-function.cpp [analyzer] Added template argument lists to the Pathdiagnostic output 2018-05-25 13:18:38 +00:00
plist-diagnostics-template-record.cpp [analyzer] Added template argument lists to the Pathdiagnostic output 2018-05-25 13:18:38 +00:00
plist-html-macros.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
plist-macros-with-expansion.cpp [analyzer][PlistMacroExpansion] Part 1.: New expand-macros flag 2018-10-31 14:54:27 +00:00
plist-macros.cpp [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
plist-output-alternate.m [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
plist-output.m [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
plist-stats-output.c Revert "Revert "Revert "Revert "[analyzer] Add coverage information to plist output, update tests"""" 2018-09-07 21:58:24 +00:00
pointer-arithmetic.c [analyzer] Implement pointer arithmetic on constants 2017-10-10 11:01:49 +00:00
pointer-to-member.cpp [analyzer] pr34404: Fix a crash on modeling pointers to indirect members. 2017-11-27 17:31:16 +00:00
pr4209.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
pr22954.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
pr37802.cpp [analyzer] Fix size_t in tests. 2018-07-17 01:39:25 +00:00
pr_2542_rdar_6793404.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
pr_4164.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
properties.m [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
properties.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
pthreadlock.c [analyzer] PthreadLockChecker: model failed pthread_mutex_destroy() calls. 2017-05-29 14:51:39 +00:00
ptr-arith.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
ptr-arith.cpp [analyzer] Fix crash on modeling of pointer arithmetic 2017-09-25 19:32:33 +00:00
qt_malloc.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
range_casts.c Revert "[analyzer] Support generating and reasoning over more symbolic constraint types" 2017-07-12 21:43:42 +00:00
rdar-6442306-1.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
rdar-6540084.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
rdar-6541136-region.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
rdar-6562655.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
rdar-7168531.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
redefined_system.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
refcnt_naming.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
reference.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
reference.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
region-1.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
region-store.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
region-store.cpp Revert "Revert "[analyzer] Quickfix: do not overflow in calculating offset in RegionManager"" 2018-02-27 00:05:04 +00:00
region_store_overflow.c [analyzer] Fix offset overflow check in MemRegion 2018-06-13 18:32:19 +00:00
reinterpret-cast.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
retain-release-arc.m [analyzer] Process state in checkEndFunction in RetainCountChecker 2018-09-21 20:37:20 +00:00
retain-release-cache-out.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
retain-release-cf-audited.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
retain-release-inline.m [analyzer] Add support for reference counting of parameters on the callee side 2017-08-17 04:19:07 +00:00
retain-release-path-notes.m [analyzer] Process state in checkEndFunction in RetainCountChecker 2018-09-21 20:37:20 +00:00
retain-release-region-store.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
retain-release-safe.c [analyzer] RetainCount: Accept more "safe" CFRetain wrappers. 2018-04-19 23:00:22 +00:00
retain-release.m [analyzer] Re-instate support for MakeCollectable is RetainCountChecker 2018-08-17 21:42:59 +00:00
retain-release.mm [analyzer] CFRetainReleaseChecker: Don't check C++ methods with the same name. 2018-08-29 22:39:20 +00:00
retaincountchecker-compoundregion.m [analyzer] Fix crashes in RetainCountChecker when underlying region is not a var 2018-03-16 18:16:47 +00:00
return-ptr-range.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
return-stmt-merge.cpp [analyzer] Expose return statement from CallExit program point 2018-02-02 02:19:43 +00:00
scopes-cfg-output.cpp [cxx2a] P0614R1: Support init-statements in range-based for loops. 2018-09-28 18:44:09 +00:00
security-syntax-checks-no-emit.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
security-syntax-checks.m [analyzer] Add security checks for bcmp(), bcopy(), bzero(). 2018-05-26 00:04:26 +00:00
self-assign.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
self-init.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
shallow-mode.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
simple-stream-checks.c Correcting a typo; NFC. 2017-03-30 18:11:20 +00:00
sizeofpointer.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
stack-addr-ps.c Fold -Wreturn-stack-address into general initialization lifetime 2018-07-23 21:21:22 +00:00
stack-addr-ps.cpp Fold -Wreturn-stack-address into general initialization lifetime 2018-07-23 21:21:22 +00:00
stack-block-returned.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
stack-capture-leak-arc.mm [analyzer] StackAddrEscape: For now, disable the new async escape checks. 2017-12-12 02:59:09 +00:00
stack-capture-leak-no-arc.mm [analyzer] StackAddrEscape: For now, disable the new async escape checks. 2017-12-12 02:59:09 +00:00
stackaddrleak.c Fold -Wreturn-stack-address into general initialization lifetime 2018-07-23 21:21:22 +00:00
static_local.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
stats.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
std-c-library-functions-inlined.c [analyzer] Promote StdCLibraryFunctionsChecker to the apiModeling category. 2018-10-02 20:50:40 +00:00
std-c-library-functions.c [analyzer] Promote StdCLibraryFunctionsChecker to the apiModeling category. 2018-10-02 20:50:40 +00:00
std-c-library-functions.cpp [analyzer] Promote StdCLibraryFunctionsChecker to the apiModeling category. 2018-10-02 20:50:40 +00:00
stream.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
string-fail.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
string-with-signedness.c [analyzer] pr34779: CStringChecker: Accept non-standard headers. 2017-11-07 10:51:15 +00:00
string.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
structured_bindings.cc [analyzer] Don't crash with assertion failure on structured bindings 2018-03-07 22:20:35 +00:00
superclass.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
sval-dump-int128.c Quick fix for rC330605: specify a target arch for test 2018-04-23 16:38:29 +00:00
svalbuilder-logic.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
svalbuilder-rearrange-comparisons.c [analyzer] Add a testing facility for testing relationships between symbols. 2018-09-25 23:50:53 +00:00
switch-case.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
symbol-reaper.c [analyzer] Fix symbol discovery in nonloc::LocAsInteger values. 2018-10-02 20:48:12 +00:00
taint-diagnostic-visitor.c [analyzer] Add `TaintBugVisitor` to the ArrayBoundV2, DivideZero and VLASize. 2018-05-02 12:11:22 +00:00
taint-generic.c [analyzer] Improves the logic of GenericTaintChecker identifying stdin. 2018-03-05 15:41:15 +00:00
taint-tester.c [analyzer] do not crash when trying to convert an APSInt to an unexpected type 2017-11-09 21:49:38 +00:00
taint-tester.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
taint-tester.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
temp-obj-dtors-cfg-output.cpp Add missing temporary materialization conversion on left-hand side of . 2018-07-27 17:13:18 +00:00
temp-obj-dtors-option.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
templates.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
temporaries-callback-order.cpp [analyzer] Re-enable lifetime extension for temporaries without destructors. 2018-06-28 00:11:42 +00:00
temporaries.cpp [CFG] [analyzer] Disable argument construction contexts for variadic functions. 2018-08-29 22:05:35 +00:00
temporaries.mm [analyzer] Add support for constructors of arguments. 2018-08-15 00:33:55 +00:00
test-after-div-zero.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
test-include-cpp.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
test-include-cpp.h
…
test-include.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
test-include.h
…
test-objc-non-nil-return-value-checker.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
test-variably-modified-types.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
this-pointer.cpp [analyzer] Do not invalidate the `this` pointer. 2018-04-15 10:34:06 +00:00
traversal-algorithm.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
traversal-begin-end-function.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
traversal-path-unification.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
trustnonnullchecker_test.m [analyzer] [quickfix] Temporarily disabling a failing test. 2018-10-04 00:07:45 +00:00
trustnonnullchecker_test.mm [analyzer] Do not crash in CallEvent.getReturnType() 2018-03-24 01:53:12 +00:00
undef-buffers.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
undef-call.c [analyzer] Fix null deref in AnyFunctionCall::getRuntimeDefinition 2018-04-13 12:36:08 +00:00
uninit-const.c [analyzer] Fix false negative on post-increment of uninitialized variable. 2017-11-30 09:18:35 +00:00
uninit-const.cpp [analyzer] Track non-zero values in ReturnVisitor 2018-08-22 23:17:25 +00:00
uninit-msg-expr.m [analyzer] Clarify 'uninitialized function argument' messages 2017-03-08 15:22:24 +00:00
uninit-ps-rdar6145427.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
uninit-sometimes.cpp
…
uninit-vals-union.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
uninit-vals.c [analyzer] Improve tracing for uninitialized struct fields 2018-08-29 22:48:50 +00:00
uninit-vals.cpp [analyzer] Improve tracing for uninitialized struct fields 2018-08-29 22:48:50 +00:00
uninit-vals.m [analyzer] Improve tracing for uninitialized struct fields 2018-08-29 22:48:50 +00:00
unions-region.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
unions.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
unix-api.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
unix-api.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
unix-fns.c [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
unreachable-code-path.c Teach Wreturn-type, Wunreachable-code, and alpha.deadcode.UnreachableCode to treat __assume(0) like __builtin_unreachable. 2018-02-13 21:31:47 +00:00
unsupported-types.c [analyzer] Add new Z3 constraint manager backend 2017-04-04 19:52:25 +00:00
unused-ivars.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
valist-as-lazycompound.c [analyzer] Fix a rare crash for valist check. 2017-03-13 12:48:26 +00:00
valist-uninitialized-no-undef.c [analyzer] Fix a rare crash for valist check. 2017-03-13 12:48:26 +00:00
valist-uninitialized.c [analyzer] Improve valist checks and move it out from alpha state. 2017-03-07 16:04:23 +00:00
valist-unterminated.c [analyzer] Improve valist checks and move it out from alpha state. 2017-03-07 16:04:23 +00:00
variadic-method-types.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
vector.m [analyzer] do not crash on cases where an array subscript is an rvalue 2017-12-05 21:19:59 +00:00
vfork.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
virtualcall.cpp [analyzer] Enable c++-allocator-inlining by default. 2018-01-24 20:59:40 +00:00
virtualcall.h [analyzer][GSoC] Re-implemente current virtual calls checker in a path-sensitive way 2017-08-28 08:44:43 +00:00
vla.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
weak-functions.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
yaccignore.c [analyzer] Do not analyze bison-generated files 2018-02-26 22:14:16 +00:00
z3-crosscheck.c [analyzer] fix test case expected warning 2018-06-28 22:08:44 +00:00