tree: 97931ee91ae9e3ca7f43c7cd8e97fc5a7694734f [path history] [tgz]
  1. Checkers/
  2. copypaste/
  3. diagnostics/
  4. engine/
  5. exploration_order/
  6. html_diagnostics/
  7. inlining/
  8. Inputs/
  9. objc/
  10. plugins/
  11. unified-sources/
  12. z3/
  13. _Bool-increment-decrement.c
  14. additive-folding-range-constraints.c
  15. additive-folding.cpp
  16. analyzeOneFunction.m
  17. analyzer-checker-config.c
  18. analyzer-config.c
  19. analyzer-display-progress.cpp
  20. analyzer-display-progress.m
  21. analyzer-enabled-checkers.c
  22. analyzer-list-configs.c
  23. analyzer-stats.c
  24. analyzer_test.py
  25. arc-zero-init.m
  26. array-struct-region.c
  27. array-struct-region.cpp
  28. array-struct.c
  29. asm.cpp
  30. atomics.c
  31. auto-obj-dtors-cfg-output.cpp
  32. autoreleasewritechecker_test.m
  33. base-init.cpp
  34. bitwise-ops.c
  35. block-in-critical-section.cpp
  36. block-in-critical-section.m
  37. blocks-no-inline.c
  38. blocks.m
  39. blocks.mm
  40. bool-assignment.c
  41. bool-increment.cpp
  42. bsd-string.c
  43. bstring.c
  44. bstring.cpp
  45. bug_hash_test.cpp
  46. bug_hash_test.m
  47. builtin-functions.cpp
  48. builtin_signbit.cpp
  49. call-invalidation.cpp
  50. call_once.cpp
  51. cast-to-struct.cpp
  52. castexpr-callback.c
  53. casts.c
  54. casts.cpp
  55. casts.m
  56. CFContainers-invalid.c
  57. CFContainers.mm
  58. cfg-indirect-goto-determinism.cpp
  59. cfg-rich-constructors.cpp
  60. cfg-rich-constructors.mm
  61. cfg.cpp
  62. CFNumber.c
  63. cfref_PR2519.c
  64. cfref_rdar6080742.c
  65. CFRetainRelease_NSAssertionHandler.m
  66. CGColorSpace.c
  67. check-deserialization.cpp
  68. checker-dependencies.c
  69. checker-plugins.c
  70. CheckNSError.m
  71. chroot.c
  72. comparison-implicit-casts.cpp
  73. complex-init-list.cpp
  74. complex.c
  75. compound-literals.c
  76. concrete-address.c
  77. conditional-operator.cpp
  78. conditional-path-notes.c
  79. const-method-call.cpp
  80. constant-folding.c
  81. constraint_manager_negate_difference.c
  82. conversion.c
  83. copy-elision.cpp
  84. copy-elision.mm
  85. coverage.c
  86. crash-trace.c
  87. cstring-plist.c
  88. cstring-ranges.c
  89. cstring-syntax-cxx.cpp
  90. cstring-syntax.c
  91. ctor.mm
  92. ctu-different-triples.cpp
  93. ctu-hdr.h
  94. ctu-main.c
  95. ctu-main.cpp
  96. ctu-unknown-parts-in-triples.cpp
  97. cxx-crashes.cpp
  98. cxx-for-range-cfg.cpp
  99. cxx-for-range.cpp
  100. cxx-method-names.cpp
  101. cxx-uninitialized-object-inheritance.cpp
  102. cxx-uninitialized-object-no-dereference.cpp
  103. cxx-uninitialized-object-notes-as-warnings.cpp
  104. cxx-uninitialized-object-ptr-ref.cpp
  105. cxx-uninitialized-object-unguarded-access.cpp
  106. cxx-uninitialized-object-unionlike-constructs.cpp
  107. cxx-uninitialized-object.cpp
  108. cxx11-crashes.cpp
  109. cxxnewexpr-callback-inline.cpp
  110. cxxnewexpr-callback-noinline.cpp
  111. dead-stores.c
  112. dead-stores.cpp
  113. dead-stores.m
  114. DeallocMissingRelease.m
  115. DeallocUseAfterFreeErrors.m
  116. debug-CallGraph.cpp
  117. default-analyze.m
  118. default-diagnostic-visitors.c
  119. delayed-template-parsing-crash.cpp
  120. delegates.m
  121. DeleteWithNonVirtualDtor.cpp
  122. derived-to-base.cpp
  123. designated-initializer.c
  124. disable-all-checks.c
  125. dispatch-once.m
  126. div-zero.cpp
  127. division-by-zero.c
  128. domtest.c
  129. dtor-cxx11.cpp
  130. dtor.cpp
  131. dtors-in-dtor-cfg-output.cpp
  132. dump_egraph.c
  133. dump_egraph.cpp
  134. dynamic-cast.cpp
  135. dynamic_type_check.m
  136. DynamicTypePropagation.m
  137. edges-new.mm
  138. elementtype.c
  139. end-function-return-stmt.cpp
  140. enum-cast-out-of-range.cpp
  141. enum.cpp
  142. exceptions.mm
  143. exercise-ps.c
  144. explain-svals.c
  145. explain-svals.cpp
  146. explain-svals.m
  147. expr-inspection.c
  148. expr-inspection.cpp
  149. fields.c
  150. free.c
  151. func-mapping-test.cpp
  152. func.c
  153. gcdantipatternchecker_test.m
  154. generics.m
  155. global-region-invalidation.c
  156. global_region_invalidation.mm
  157. globals.cpp
  158. gmalloc.c
  159. gtest.cpp
  160. hangs.c
  161. html-diag-singlefile.c
  162. html-diag-singlefile.h
  163. html-diags-analyze-headers.c
  164. html-diags-analyze-headers.h
  165. html-diags-multifile.c
  166. html-diags-multifile.h
  167. html-diags.c
  168. identical-expressions.cpp
  169. implicit-ctor-undef-value.cpp
  170. index-type.c
  171. initialization.c
  172. initialization.cpp
  173. initializer.cpp
  174. initializers-cfg-output.cpp
  175. inline-if-constexpr.cpp
  176. inline-not-supported.c
  177. inline-plist.c
  178. inline-unique-reports.c
  179. inline.c
  180. inline.cpp
  181. inline2.c
  182. inline3.c
  183. inline4.c
  184. inner-pointer.cpp
  185. invalid-a-na-ly-zer-con-fig-value.c
  186. invalid-analyzer-config-value.c
  187. invalid-checker-option.c
  188. invalidated-iterator.cpp
  189. iterator-range.cpp
  190. ivars.m
  191. keychainAPI-diagnostic-visitor.m
  192. keychainAPI.m
  193. kmalloc-linux.c
  194. lambda-notes.cpp
  195. lambdas-generalized-capture.cpp
  196. lambdas.cpp
  197. lambdas.mm
  198. lifetime-cfg-output.cpp
  199. lifetime-extension.cpp
  200. lifetime-extension.mm
  201. lit.local.cfg
  202. live-bindings-test.cpp
  203. live-stmts.cpp
  204. live-variables.cpp
  205. live-variables.m
  206. llvm-conventions.cpp
  207. localization-aggressive.m
  208. localization.m
  209. logical-ops.c
  210. loop-block-counts.c
  211. loop-unrolling.cpp
  212. loop-widening-ignore-static-methods.cpp
  213. loop-widening-notes.cpp
  214. loop-widening-preserve-reference-type.cpp
  215. loop-widening.c
  216. loopexit-cfg-output.cpp
  217. lvalue.cpp
  218. Malloc+MismatchedDeallocator+NewDelete.cpp
  219. Malloc+MismatchedDeallocator_intersections.cpp
  220. Malloc+NewDelete_intersections.cpp
  221. malloc-annotations.c
  222. malloc-custom.c
  223. malloc-fnptr-plist.c
  224. malloc-free-after-return.cpp
  225. malloc-interprocedural.c
  226. malloc-overflow.c
  227. malloc-overflow.cpp
  228. malloc-overflow2.c
  229. malloc-plist.c
  230. malloc-protoype.c
  231. malloc-sizeof.c
  232. malloc-sizeof.cpp
  233. malloc-three-arg.c
  234. malloc.c
  235. malloc.cpp
  236. malloc.m
  237. malloc.mm
  238. max-nodes-suppress-on-sink.c
  239. max-nodes-suppress-on-sink.cpp
  240. member-expr.cpp
  241. MemRegion.cpp
  242. method-arg-decay.m
  243. method-call-intra-p.cpp
  244. method-call-path-notes.cpp
  245. method-call.cpp
  246. mig.mm
  247. misc-ps-64.m
  248. misc-ps-arm.m
  249. misc-ps-cxx0x.cpp
  250. misc-ps-eager-assume.m
  251. misc-ps-ranges.m
  252. misc-ps-region-store-i386.m
  253. misc-ps-region-store-x86_64.m
  254. misc-ps-region-store.cpp
  255. misc-ps-region-store.m
  256. misc-ps-region-store.mm
  257. misc-ps.c
  258. misc-ps.m
  259. mismatched-iterator.cpp
  260. MismatchedDeallocator-checker-test.mm
  261. MismatchedDeallocator-path-notes.cpp
  262. missing-bind-temporary.cpp
  263. MissingDealloc.m
  264. mmap-writeexec.c
  265. model-file.cpp
  266. mpichecker.cpp
  267. mpicheckernotes.cpp
  268. MPIMock.h
  269. new-aligned.cpp
  270. new-ctor-conservative.cpp
  271. new-ctor-inlined.cpp
  272. new-ctor-malloc.cpp
  273. new-ctor-null-throw.cpp
  274. new-ctor-null.cpp
  275. new-ctor-recursive.cpp
  276. new-ctor-symbolic.cpp
  277. new-dynamic-types.cpp
  278. new-with-exceptions.cpp
  279. new.cpp
  280. NewDelete+MismatchedDeallocator_intersections.cpp
  281. NewDelete-atomics.cpp
  282. NewDelete-checker-test.cpp
  283. NewDelete-custom.cpp
  284. NewDelete-intersections.mm
  285. NewDelete-path-notes.cpp
  286. NewDelete-sized-deallocation.cpp
  287. NewDelete-variadic.cpp
  288. NewDeleteLeaks-PR18394.cpp
  289. NewDeleteLeaks-PR19102.cpp
  290. nil-receiver-undefined-larger-than-voidptr-ret-region.m
  291. nil-receiver-undefined-larger-than-voidptr-ret.m
  292. nil-receiver.mm
  293. no-exit-cfg.c
  294. no-outofbounds.c
  295. no-store-suppression.cpp
  296. no-unreachable-dtors.cpp
  297. non-diagnosable-assumptions.c
  298. nonnull-global-constants.mm
  299. nonnull.m
  300. nonnullparamchecker-crash.cpp
  301. NoReturn.m
  302. novoidtypecrash.c
  303. NSContainers.m
  304. NSPanel.m
  305. NSString.m
  306. NSWindow.m
  307. null-deref-offsets.c
  308. null-deref-path-notes.c
  309. null-deref-path-notes.cpp
  310. null-deref-path-notes.m
  311. null-deref-ps-region.c
  312. null-deref-ps.c
  313. null-deref-static.m
  314. nullability-arc.mm
  315. nullability-no-arc.mm
  316. nullability-notes.m
  317. nullability.c
  318. nullability.mm
  319. nullability_nullonly.mm
  320. nullptr.cpp
  321. number-object-conversion.c
  322. number-object-conversion.cpp
  323. number-object-conversion.m
  324. number-object-conversion.mm
  325. objc-arc.m
  326. objc-bool.m
  327. objc-boxing.m
  328. objc-encode.m
  329. objc-for.m
  330. objc-message.m
  331. objc-method-coverage.m
  332. objc-properties.m
  333. objc-radar17039661.m
  334. objc-string.mm
  335. objc-subscript.m
  336. objc_invalidation.m
  337. objcpp-uninitialized-object.mm
  338. ObjCProperties.m
  339. ObjCPropertiesSyntaxChecks.m
  340. ObjCRetSigs.m
  341. offsetofexpr-callback.c
  342. openmp-unsupported.c
  343. operator-calls.cpp
  344. os_object_base.h
  345. os_smart_ptr.h
  346. OSAtomic_mac.c
  347. OSAtomic_mac.cpp
  348. osobject-retain-release.cpp
  349. osobjectcstylecastchecker_test.cpp
  350. out-of-bounds-new.cpp
  351. out-of-bounds.c
  352. outofbound-notwork.c
  353. outofbound.c
  354. override-werror.c
  355. padding_c.c
  356. padding_cpp.cpp
  357. padding_inherit.cpp
  358. padding_message.cpp
  359. plist-diagnostics-template-function.cpp
  360. plist-diagnostics-template-record.cpp
  361. plist-html-macros.c
  362. plist-macros-with-expansion.cpp
  363. plist-macros.cpp
  364. plist-output-alternate.m
  365. plist-output.m
  366. plist-stats-output.c
  367. pointer-arithmetic.c
  368. pointer-to-member.cpp
  369. PR12905.c
  370. pr22954.c
  371. PR24184.cpp
  372. PR2978.m
  373. pr37802.cpp
  374. PR37855.c
  375. PR38208.c
  376. PR3991.m
  377. PR40625.cpp
  378. pr4209.m
  379. PR7218.c
  380. PR9741.cpp
  381. pr_2542_rdar_6793404.m
  382. pr_4164.c
  383. properties.m
  384. properties.mm
  385. pthreadlock.c
  386. ptr-arith.c
  387. ptr-arith.cpp
  388. ptr-cmp-const-trunc.cl
  389. ptr-sort.cpp
  390. qt_malloc.cpp
  391. range_casts.c
  392. rdar-6442306-1.m
  393. rdar-6540084.m
  394. rdar-6541136-region.c
  395. rdar-6562655.m
  396. rdar-6600344-nil-receiver-undefined-struct-ret.m
  397. rdar-7168531.m
  398. redecl.c
  399. redefined_system.c
  400. refcnt_naming.m
  401. reference.cpp
  402. reference.mm
  403. region-1.m
  404. region-store.c
  405. region-store.cpp
  406. region_store_overflow.c
  407. reinterpret-cast.cpp
  408. retain-release-arc.m
  409. retain-release-cache-out.m
  410. retain-release-cf-audited.m
  411. retain-release-cpp-classes.cpp
  412. retain-release-inline.m
  413. retain-release-path-notes.m
  414. retain-release-region-store.m
  415. retain-release-safe.c
  416. retain-release.m
  417. retain-release.mm
  418. retaincountchecker-compoundregion.m
  419. return-ptr-range.cpp
  420. return-stmt-merge.cpp
  421. scopes-cfg-output.cpp
  422. security-syntax-checks-no-emit.c
  423. security-syntax-checks.c
  424. security-syntax-checks.m
  425. self-assign.cpp
  426. self-init.m
  427. shallow-mode.m
  428. show-checker-list.c
  429. simple-stream-checks.c
  430. sizeofpointer.c
  431. smart-ptr.cpp
  432. stack-addr-ps.c
  433. stack-addr-ps.cpp
  434. stack-block-returned.cpp
  435. stack-capture-leak-arc.mm
  436. stack-capture-leak-no-arc.mm
  437. stackaddrleak.c
  438. static_local.m
  439. stats.c
  440. std-c-library-functions-inlined.c
  441. std-c-library-functions.c
  442. std-c-library-functions.cpp
  443. stream.c
  444. string-fail.c
  445. string-with-signedness.c
  446. string.c
  447. string.cpp
  448. structured_bindings.cc
  449. superclass.m
  450. sval-dump-int128.c
  451. svalbuilder-float-cast.c
  452. svalbuilder-logic.c
  453. svalbuilder-rearrange-comparisons.c
  454. switch-case.c
  455. symbol-reaper.c
  456. symbol-reaper.cpp
  457. taint-diagnostic-visitor.c
  458. taint-dumps.c
  459. taint-generic.c
  460. taint-tester.c
  461. taint-tester.cpp
  462. taint-tester.m
  463. temp-obj-dtors-cfg-output.cpp
  464. temp-obj-dtors-option.cpp
  465. templates.cpp
  466. temporaries-callback-order.cpp
  467. temporaries.cpp
  468. temporaries.mm
  469. test-after-div-zero.c
  470. test-include-cpp.cpp
  471. test-include-cpp.h
  472. test-include.c
  473. test-include.h
  474. test-objc-non-nil-return-value-checker.m
  475. test-separate-retaincount.cpp
  476. test-variably-modified-types.c
  477. this-pointer.cpp
  478. traversal-algorithm.mm
  479. traversal-begin-end-function.c
  480. traversal-path-unification.c
  481. trustnonnullchecker_test.m
  482. trustnonnullchecker_test.mm
  483. undef-buffers.c
  484. undef-call.c
  485. uninit-const.c
  486. uninit-const.cpp
  487. uninit-msg-expr.m
  488. uninit-ps-rdar6145427.m
  489. uninit-sometimes.cpp
  490. uninit-vals-union.c
  491. uninit-vals.c
  492. uninit-vals.cpp
  493. uninit-vals.m
  494. unions-region.m
  495. unions.cpp
  496. unix-api.c
  497. unix-api.cpp
  498. unix-fns.c
  499. unreachable-code-path.c
  500. unsupported-types.c
  501. unused-ivars.m
  502. use-after-move.cpp
  503. valist-as-lazycompound.c
  504. valist-uninitialized-no-undef.c
  505. valist-uninitialized.c
  506. valist-unterminated.c
  507. variadic-method-types.m
  508. vector.m
  509. vfork.c
  510. virtualcall.cpp
  511. virtualcall.h
  512. vla.c
  513. weak-functions.c
  514. yaccignore.c
  515. z3-crosscheck.c