Google Git
Sign in
llvm / llvm-project / clang / f67cb48727329ac4f2bd36323bf8017c5022b050 / . / test / Analysis
tree: 1dcc477376f0b121a58431cec4ee9cff02c57cb0 [path history] [tgz]
  1. cert/
  2. Checkers/
  3. copypaste/
  4. diagnostics/
  5. engine/
  6. exploded-graph-rewriter/
  7. exploration_order/
  8. html_diagnostics/
  9. inlining/
  10. Inputs/
  11. objc/
  12. scan-build/
  13. unified-sources/
  14. z3/
  15. _Bool-increment-decrement.c
  16. a_flaky_crash.cpp
  17. additive-folding-range-constraints.c
  18. additive-folding.cpp
  19. aggrinit-cfg-output.cpp
  20. analyzeOneFunction.m
  21. analyzer-checker-config.c
  22. analyzer-checker-option-help.c
  23. analyzer-config.c
  24. analyzer-display-progress.cpp
  25. analyzer-display-progress.m
  26. analyzer-enabled-checkers.c
  27. analyzer-list-configs.c
  28. analyzer-stats.c
  29. analyzer_test.py
  30. arc-zero-init.m
  31. array-struct-region.c
  32. array-struct-region.cpp
  33. array-struct.c
  34. asm-goto.cpp
  35. asm.cpp
  36. atomics.c
  37. auto-obj-dtors-cfg-output.cpp
  38. autoreleasewritechecker_test.m
  39. base-init.cpp
  40. bitwise-ops.c
  41. block-in-critical-section.cpp
  42. block-in-critical-section.m
  43. blocks-no-inline.c
  44. blocks.m
  45. blocks.mm
  46. bool-assignment.c
  47. bool-increment.cpp
  48. bsd-string.c
  49. bstring.c
  50. bstring.cpp
  51. bug_hash_test.cpp
  52. bug_hash_test.m
  53. builtin-functions.cpp
  54. builtin_signbit.cpp
  55. c11lock.c
  56. call-and-message.c
  57. call-and-message.cpp
  58. call-and-message.m
  59. call-and-message.mm
  60. call-invalidation.cpp
  61. call_once.cpp
  62. cast-to-struct.cpp
  63. cast-value-logic.cpp
  64. cast-value-notes.cpp
  65. cast-value-state-dump.cpp
  66. cast-value-weird.cpp
  67. castexpr-callback.c
  68. casts.c
  69. casts.cpp
  70. casts.m
  71. CFContainers-invalid.c
  72. CFContainers.mm
  73. cfg-indirect-goto-determinism.cpp
  74. cfg-openmp.cpp
  75. cfg-rich-constructors.cpp
  76. cfg-rich-constructors.mm
  77. cfg.c
  78. cfg.cpp
  79. CFNumber.c
  80. cfref_PR2519.c
  81. cfref_rdar6080742.c
  82. CFRetainRelease_NSAssertionHandler.m
  83. CGColorSpace.c
  84. check-analyzer-fixit.py
  85. check-deserialization.cpp
  86. checker-dependencies.c
  87. checker-plugins.c
  88. CheckNSError.m
  89. CheckThatArraySubsciptNodeIsNotCollected.cpp
  90. chroot.c
  91. class-object-state-dump.m
  92. comparison-implicit-casts.cpp
  93. complex-init-list.cpp
  94. complex.c
  95. compound-literals.c
  96. concrete-address.c
  97. conditional-operator.cpp
  98. conditional-path-notes.c
  99. const-method-call.cpp
  100. constant-folding.c
  101. constraint_manager_conditions.cpp
  102. constraint_manager_negate_difference.c
  103. container-modeling-no-aggressive-binary-operation-simplification-warn.cpp
  104. container-modeling.cpp
  105. conversion.c
  106. copy-elision.cpp
  107. copy-elision.mm
  108. coverage.c
  109. crash-trace.c
  110. cstring-plist.c
  111. cstring-ranges.c
  112. cstring-syntax-cxx.cpp
  113. cstring-syntax-weird.c
  114. cstring-syntax-weird2.c
  115. cstring-syntax.c
  116. ctor.mm
  117. ctu-different-triples.cpp
  118. ctu-hdr.h
  119. ctu-implicit.c
  120. ctu-import-threshold.c
  121. ctu-inherited-default-ctor.cpp
  122. ctu-main.c
  123. ctu-main.cpp
  124. ctu-on-demand-parsing.c
  125. ctu-on-demand-parsing.cpp
  126. ctu-unknown-parts-in-triples.cpp
  127. cxx-callgraph.cpp
  128. cxx-crashes.cpp
  129. cxx-dynamic-memory-analysis-order.cpp
  130. cxx-for-range-cfg.cpp
  131. cxx-for-range.cpp
  132. cxx-inherited-ctor-init-expr.cpp
  133. cxx-inherited-ctor-is-skipped-as-top-level.cpp
  134. cxx-method-names.cpp
  135. cxx-uninitialized-object-inheritance.cpp
  136. cxx-uninitialized-object-no-dereference.cpp
  137. cxx-uninitialized-object-notes-as-warnings.cpp
  138. cxx-uninitialized-object-ptr-ref.cpp
  139. cxx-uninitialized-object-unguarded-access.cpp
  140. cxx-uninitialized-object-unionlike-constructs.cpp
  141. cxx-uninitialized-object.cpp
  142. cxx11-crashes.cpp
  143. cxxctr-evalcall-analysis-order.cpp
  144. cxxnewexpr-callback-inline.cpp
  145. cxxnewexpr-callback-noinline.cpp
  146. dead-stores.c
  147. dead-stores.cpp
  148. dead-stores.m
  149. deadstores-driverkit.cpp
  150. DeallocMissingRelease.m
  151. DeallocUseAfterFreeErrors.m
  152. debug-CallGraph.cpp
  153. debug-container-modeling.cpp
  154. debug-exprinspection-istainted.c
  155. debug-iterator-modeling.cpp
  156. default-analyze.m
  157. default-diagnostic-visitors.c
  158. delayed-template-parsing-crash.cpp
  159. delegates.m
  160. DeleteWithNonVirtualDtor.cpp
  161. derived-to-base.cpp
  162. designated-initializer-values.c
  163. designated-initializer.c
  164. disable-all-checks.c
  165. dispatch-once.m
  166. div-zero.cpp
  167. division-by-zero-track-zero.c
  168. division-by-zero-track-zero.cpp
  169. division-by-zero.c
  170. domtest.c
  171. domtest.cpp
  172. double-ranges-bug.c
  173. dtor-cxx11.cpp
  174. dtor.cpp
  175. dtors-in-dtor-cfg-output.cpp
  176. dump_egraph.c
  177. dump_egraph.cpp
  178. dynamic-cast.cpp
  179. dynamic_type_check.m
  180. DynamicTypePropagation.m
  181. edges-new.mm
  182. egraph-asm-goto-no-crash.cpp
  183. elementtype.c
  184. end-function-return-stmt.cpp
  185. enum-cast-out-of-range.c
  186. enum-cast-out-of-range.cpp
  187. enum.cpp
  188. equality_tracking.c
  189. eval-predefined-exprs.cpp
  190. exceptions.mm
  191. exercise-ps.c
  192. explain-svals.c
  193. explain-svals.cpp
  194. explain-svals.m
  195. expr-inspection.c
  196. expr-inspection.cpp
  197. fields.c
  198. free.c
  199. free.cpp
  200. fuchsia_handle.cpp
  201. fuchsia_lock.c
  202. fuchsia_lock_impl.c
  203. func-mapping-test.cpp
  204. func.c
  205. gcdantipatternchecker_test.m
  206. generics.m
  207. global-region-invalidation.c
  208. global_region_invalidation.mm
  209. globals.cpp
  210. gmalloc.c
  211. gtest.cpp
  212. handle_constructors_for_default_arguments.cpp
  213. handle_constructors_with_new_array.cpp
  214. hangs.c
  215. html-diag-singlefile.c
  216. html-diag-singlefile.h
  217. html-diags-analyze-headers.c
  218. html-diags-analyze-headers.h
  219. html-diags-multifile.c
  220. html-diags-multifile.h
  221. html-diags.c
  222. identical-expressions.cpp
  223. implicit-ctor-undef-value.cpp
  224. incorrect-checker-names.cpp
  225. incorrect-checker-names.mm
  226. index-type.c
  227. initialization.c
  228. initialization.cpp
  229. initializer.cpp
  230. initializers-cfg-output.cpp
  231. inline-if-constexpr.cpp
  232. inline-not-supported.c
  233. inline-plist.c
  234. inline-unique-reports.c
  235. inline.c
  236. inline.cpp
  237. inline2.c
  238. inline3.c
  239. inline4.c
  240. inner-pointer.cpp
  241. invalid-a-na-ly-zer-con-fig-value.c
  242. invalid-analyzer-config-value.c
  243. invalid-checker-option.c
  244. invalid-deref.c
  245. invalidated-iterator.cpp
  246. iterator-modeling-no-aggressive-binary-operation-simplification-no-crash.cpp
  247. iterator-modeling.cpp
  248. iterator-range.cpp
  249. ivars.m
  250. keychainAPI-diagnostic-visitor.m
  251. keychainAPI.m
  252. kmalloc-linux.c
  253. lambda-notes.cpp
  254. lambdas-generalized-capture.cpp
  255. lambdas.cpp
  256. lambdas.mm
  257. left-shift-cxx2a.cpp
  258. lifetime-cfg-output.cpp
  259. lifetime-extension.cpp
  260. lifetime-extension.mm
  261. lit.local.cfg
  262. live-bindings-test.cpp
  263. live-stmts.cpp
  264. live-stmts.mm
  265. live-variables.cpp
  266. live-variables.m
  267. llvm-conventions.cpp
  268. localization-aggressive.m
  269. localization.m
  270. logical-ops.c
  271. loop-block-counts.c
  272. loop-unrolling.cpp
  273. loop-widening-ignore-static-methods.cpp
  274. loop-widening-notes.cpp
  275. loop-widening-preserve-reference-type.cpp
  276. loop-widening.c
  277. loop-widening.cpp
  278. loopexit-cfg-output.cpp
  279. lvalue.cpp
  280. main.c
  281. main.cpp
  282. Malloc+MismatchedDeallocator+NewDelete.cpp
  283. Malloc+MismatchedDeallocator_intersections.cpp
  284. malloc-annotations.c
  285. malloc-annotations.cpp
  286. malloc-custom.c
  287. malloc-fnptr-plist.c
  288. malloc-free-after-return.cpp
  289. malloc-interprocedural.c
  290. malloc-overflow.c
  291. malloc-overflow.cpp
  292. malloc-overflow2.c
  293. malloc-plist.c
  294. malloc-protoype.c
  295. malloc-sizeof.c
  296. malloc-sizeof.cpp
  297. malloc-three-arg.c
  298. malloc.c
  299. malloc.cpp
  300. malloc.m
  301. malloc.mm
  302. max-nodes-suppress-on-sink.c
  303. max-nodes-suppress-on-sink.cpp
  304. member-expr.cpp
  305. memory-model.cpp
  306. MemRegion.cpp
  307. method-arg-decay.m
  308. method-call-intra-p.cpp
  309. method-call-path-notes.cpp
  310. method-call.cpp
  311. mig.mm
  312. misc-ps-64.m
  313. misc-ps-arm.m
  314. misc-ps-cxx0x.cpp
  315. misc-ps-eager-assume.m
  316. misc-ps-ranges.m
  317. misc-ps-region-store-i386.m
  318. misc-ps-region-store-x86_64.m
  319. misc-ps-region-store.cpp
  320. misc-ps-region-store.m
  321. misc-ps-region-store.mm
  322. misc-ps.c
  323. misc-ps.m
  324. mismatched-iterator.cpp
  325. MismatchedDeallocator-checker-test.mm
  326. MismatchedDeallocator-path-notes.cpp
  327. missing-bind-temporary.cpp
  328. MissingDealloc.m
  329. mmap-writeexec.c
  330. model-file.cpp
  331. more-dtors-cfg-output.cpp
  332. mpichecker.cpp
  333. mpicheckernotes.cpp
  334. MPIMock.h
  335. mutually_exclusive_null_fp.cpp
  336. new-aligned.cpp
  337. new-ctor-conservative.cpp
  338. new-ctor-inlined.cpp
  339. new-ctor-malloc.cpp
  340. new-ctor-null-throw.cpp
  341. new-ctor-null.cpp
  342. new-ctor-recursive.cpp
  343. new-ctor-symbolic.cpp
  344. new-dynamic-types.cpp
  345. new-with-exceptions.cpp
  346. new.cpp
  347. NewDelete+MismatchedDeallocator_intersections.cpp
  348. NewDelete-atomics.cpp
  349. NewDelete-checker-test.cpp
  350. NewDelete-custom.cpp
  351. NewDelete-intersections.mm
  352. NewDelete-path-notes.cpp
  353. NewDelete-sized-deallocation.cpp
  354. NewDelete-variadic.cpp
  355. NewDeleteLeaks-PR18394.cpp
  356. NewDeleteLeaks-PR19102.cpp
  357. nil-receiver-undefined-larger-than-voidptr-ret-region.m
  358. nil-receiver-undefined-larger-than-voidptr-ret.m
  359. nil-receiver.mm
  360. no-exit-cfg.c
  361. no-outofbounds.c
  362. no-store-suppression.cpp
  363. no-unreachable-dtors.cpp
  364. non-diagnosable-assumptions.c
  365. nonnull-global-constants.mm
  366. nonnull.cpp
  367. nonnull.m
  368. nonnullparamchecker-crash.cpp
  369. NoReturn.m
  370. novoidtypecrash.c
  371. NSContainers.m
  372. NSPanel.m
  373. NSString.m
  374. NSWindow.m
  375. null-deref-offsets.c
  376. null-deref-path-notes.c
  377. null-deref-path-notes.cpp
  378. null-deref-path-notes.m
  379. null-deref-ps-region.c
  380. null-deref-ps.c
  381. null-deref-static.m
  382. nullability-arc.mm
  383. nullability-no-arc.mm
  384. nullability-notes.m
  385. nullability.c
  386. nullability.m
  387. nullability.mm
  388. nullability_nullonly.mm
  389. nullptr.cpp
  390. number-object-conversion.c
  391. number-object-conversion.cpp
  392. number-object-conversion.m
  393. number-object-conversion.mm
  394. objc-arc.m
  395. objc-bool.m
  396. objc-boxing.m
  397. objc-encode.m
  398. objc-for.m
  399. objc-indirect-copy-restore.m
  400. objc-live-crash.mm
  401. objc-message.m
  402. objc-method-coverage.m
  403. objc-properties.m
  404. objc-radar17039661.m
  405. objc-string.mm
  406. objc-subscript.m
  407. objc_invalidation.m
  408. objcpp-uninitialized-object.mm
  409. ObjCProperties.m
  410. ObjCPropertiesSyntaxChecks.m
  411. ObjCRetSigs.m
  412. offsetofexpr-callback.c
  413. openmp-unsupported.c
  414. operator-calls.cpp
  415. os_object_base.h
  416. os_smart_ptr.h
  417. OSAtomic_mac.c
  418. OSAtomic_mac.cpp
  419. osobject-retain-release.cpp
  420. osobjectcstylecastchecker_test.cpp
  421. out-of-bounds-false-positive.c
  422. out-of-bounds-new.cpp
  423. out-of-bounds.c
  424. outofbound-notwork.c
  425. outofbound.c
  426. override-werror.c
  427. padding_c.c
  428. padding_cpp.cpp
  429. padding_inherit.cpp
  430. padding_message.cpp
  431. pch_crash.cpp
  432. placement-new-user-defined.cpp
  433. placement-new.cpp
  434. plist-diagnostics-template-function.cpp
  435. plist-diagnostics-template-record.cpp
  436. plist-html-macros.c
  437. plist-macros-with-expansion-ctu.c
  438. plist-macros-with-expansion.c
  439. plist-macros-with-expansion.cpp
  440. plist-macros.cpp
  441. plist-output-alternate.m
  442. plist-output.m
  443. plist-stats-output.c
  444. pointer-arithmetic.c
  445. pointer-escape-on-conservative-calls.c
  446. pointer-to-member.cpp
  447. PR12905.c
  448. pr22954.c
  449. PR24184.cpp
  450. PR2978.m
  451. PR35418.cpp
  452. pr37802.cpp
  453. PR37855.c
  454. PR38208.c
  455. PR3991.m
  456. PR40625.cpp
  457. pr4209.m
  458. PR46264.cpp
  459. PR47511.cpp
  460. PR49490.cpp
  461. PR49642.c
  462. PR7218.c
  463. PR9741.cpp
  464. pr_2542_rdar_6793404.m
  465. pr_4164.c
  466. preprocessor-setup.c
  467. properties.m
  468. properties.mm
  469. pthreadlock.c
  470. pthreadlock_state.c
  471. pthreadlock_state_nottracked.c
  472. ptr-arith.c
  473. ptr-arith.cpp
  474. ptr-cmp-const-trunc.cl
  475. ptr-iter.cpp
  476. ptr-sort.cpp
  477. qt_malloc.cpp
  478. range_casts.c
  479. rdar-6442306-1.m
  480. rdar-6540084.m
  481. rdar-6541136-region.c
  482. rdar-6562655.m
  483. rdar-6600344-nil-receiver-undefined-struct-ret.m
  484. rdar-7168531.m
  485. redecl.c
  486. redefined_system.c
  487. refcnt_naming.m
  488. reference.cpp
  489. region-1.m
  490. region-store.c
  491. region-store.cpp
  492. region_store_overflow.c
  493. reinterpret-cast-pointer-to-member.cpp
  494. reinterpret-cast.cpp
  495. report-uniqueing.cpp
  496. retain-count-alloc.cpp
  497. retain-release-arc.m
  498. retain-release-cache-out.m
  499. retain-release-cf-audited.m
  500. retain-release-compound-literal.m
  501. retain-release-cpp-classes.cpp
  502. retain-release-inline.m
  503. retain-release-path-notes.m
  504. retain-release-region-store.m
  505. retain-release-safe.c
  506. retain-release.m
  507. retain-release.mm
  508. retaincountchecker-compoundregion.m
  509. return-ptr-range.cpp
  510. return-stmt-merge.cpp
  511. return-value-guaranteed.cpp
  512. rvo.cpp
  513. scopes-cfg-output.cpp
  514. security-syntax-checks-no-emit.c
  515. security-syntax-checks-nscoder.m
  516. security-syntax-checks.c
  517. security-syntax-checks.m
  518. self-assign.cpp
  519. self-init.m
  520. shallow-mode.m
  521. show-checker-list.c
  522. silence-checkers-and-packages-core-all.cpp
  523. silence-checkers-and-packages-core-div-by-zero.cpp
  524. simple-stream-checks.c
  525. sizeofpack.cpp
  526. sizeofpointer.c
  527. smart-ptr-text-output.cpp
  528. smart-ptr.cpp
  529. SpecialFunctionsCFError.cpp
  530. stack-addr-ps.c
  531. stack-addr-ps.cpp
  532. stack-block-returned.cpp
  533. stack-capture-leak-arc.mm
  534. stack-capture-leak-no-arc.mm
  535. stack-frame-context-revision.cpp
  536. stackaddrleak.c
  537. static_local.m
  538. stats.c
  539. std-c-library-functions-arg-constraints.c
  540. std-c-library-functions-arg-constraints.cpp
  541. std-c-library-functions-arg-cstring-dependency.c
  542. std-c-library-functions-arg-enabled-checkers.c
  543. std-c-library-functions-arg-weakdeps.c
  544. std-c-library-functions-eof.c
  545. std-c-library-functions-inlined.c
  546. std-c-library-functions-lookup.c
  547. std-c-library-functions-lookup.cpp
  548. std-c-library-functions-POSIX-lookup.c
  549. std-c-library-functions-POSIX-socket-sockaddr.cpp
  550. std-c-library-functions-POSIX.c
  551. std-c-library-functions-restrict.c
  552. std-c-library-functions-restrict.cpp
  553. std-c-library-functions-vs-stream-checker.c
  554. std-c-library-functions.c
  555. std-c-library-functions.cpp
  556. std-c-library-posix-crash.c
  557. stl-algorithm-modeling-aggressive-std-find-modeling.cpp
  558. stl-algorithm-modeling.cpp
  559. stream-error.c
  560. stream-note.c
  561. stream.c
  562. stream.cpp
  563. string-fail.c
  564. string-with-signedness.c
  565. string.c
  566. string.cpp
  567. structured_bindings.cpp
  568. superclass.m
  569. sval-dump-int128.c
  570. svalbuilder-float-cast.c
  571. svalbuilder-logic.c
  572. svalbuilder-rearrange-comparisons.c
  573. switch-case.c
  574. symbol-escape.cpp
  575. symbol-reaper.c
  576. symbol-reaper.cpp
  577. taint-diagnostic-visitor.c
  578. taint-dumps.c
  579. taint-generic.c
  580. taint-generic.cpp
  581. taint-tester.c
  582. taint-tester.cpp
  583. taint-tester.m
  584. temp-obj-dtors-cfg-output.cpp
  585. temp-obj-dtors-option.cpp
  586. templates.cpp
  587. temporaries-callback-order.cpp
  588. temporaries.cpp
  589. temporaries.mm
  590. test-after-div-zero.c
  591. test-include-cpp.cpp
  592. test-include-cpp.h
  593. test-include.c
  594. test-include.h
  595. test-objc-non-nil-return-value-checker.m
  596. test-separate-retaincount.cpp
  597. test-variably-modified-types.c
  598. this-pointer.cpp
  599. track-control-dependency-conditions.cpp
  600. track-control-dependency-conditions.m
  601. traversal-algorithm.mm
  602. traversal-begin-end-function.c
  603. traversal-path-unification.c
  604. trustnonnullchecker_test.m
  605. trustnonnullchecker_test.mm
  606. undef-buffers.c
  607. undef-call.c
  608. uninit-asm-goto.cpp
  609. uninit-bug-first-iteration-init.c
  610. uninit-const.c
  611. uninit-const.cpp
  612. uninit-exhaustive-switch-bug.c
  613. uninit-ps-rdar6145427.m
  614. uninit-sometimes.cpp
  615. uninit-val-const-likeness.c
  616. uninit-vals-union.c
  617. uninit-vals.c
  618. uninit-vals.cpp
  619. uninit-vals.m
  620. unions-region.m
  621. unions.cpp
  622. unix-api.c
  623. unix-api.cpp
  624. unix-fns.c
  625. unreachable-code-path.c
  626. unsupported-types.c
  627. unused-ivars.m
  628. use-after-move.cpp
  629. UserNullabilityAnnotations.m
  630. valist-as-lazycompound.c
  631. valist-uninitialized-no-undef.c
  632. valist-uninitialized.c
  633. valist-unterminated.c
  634. variadic-method-types.m
  635. vector.m
  636. vfork.c
  637. virtualcall-fixits.cpp
  638. virtualcall-plist.cpp
  639. virtualcall.cpp
  640. virtualcall.h
  641. vla-overflow.c
  642. vla.c
  643. weak-dependencies.c
  644. weak-functions.c
  645. yaccignore.c
  646. z3-crosscheck.c
  647. zero-operands.c