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