summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/CMakeLists.txt
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] NFC: Move PathDiagnostic classes to libAnalysis.Artem Dergachev2019-09-111-1/+0
* [analyzer] CastValueChecker: Store the dynamic types and castsCsaba Dabis2019-08-221-1/+1
* [CrossTU] Fix plist macro expansion if macro in other file.Balazs Keri2019-07-251-0/+1
* [analyzer] Move taint API from ProgramState to a separate header. NFC.Artem Dergachev2019-03-291-1/+0
* Moved everything SMT-related to LLVM and updated the cmake scripts.Mikhail R. Gadelha2019-03-251-15/+1
* This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b.Mikhail R. Gadelha2019-02-091-1/+15
* Move the SMT API to LLVMMikhail R. Gadelha2019-02-071-15/+1
* [analyzer] Port RetainSummaryManager to the new AnyCall interface, decouple A...George Karpenkov2019-01-251-1/+0
* [analyzer][NFC] Move CheckerRegistry from the Core directory to FrontendKristof Umann2018-12-151-1/+0
* Add the ability to output static analysis results to SARIF.Aaron Ballman2018-10-301-2/+3
* [analyzer] Be more plugin-friendly by moving static locals into .cpp files.Artem Dergachev2018-10-201-0/+1
* [analyzer] Templatefy SMTConstraintManager so more generic code can be moved ...Mikhail R. Gadelha2018-08-231-1/+0
* [analyzer] [NFC] Split up RetainSummaryManager from RetainCountChecker - try #2George Karpenkov2018-08-211-0/+1
* [analyzer] Moved non solver specific code from Z3ConstraintManager to SMTCons...Mikhail R. Gadelha2018-07-251-0/+1
* Sort source lists in lib/StaticAnalyzer.Nico Weber2018-04-071-1/+1
* [analyzer] [NFC] Move worklist implementation to WorkList.cppGeorge Karpenkov2018-03-231-0/+1
* Resubmit [analyzer] Support for naive cross translation unit analysisIlya Biryukov2018-03-011-0/+1
* Revert "[analyzer] Support for naive cross translation unit analysis"Ilya Biryukov2018-03-011-1/+0
* [analyzer] Support for naive cross translation unit analysisGabor Horvath2018-02-281-0/+1
* [StaticAnalyzer] Completely unrolling specific loops with known bound optionPeter Szecsi2017-07-251-0/+2
* Revert "[StaticAnalyzer] Completely unrolling specific loops with known bound...Peter Szecsi2017-07-201-2/+0
* This feature allows the analyzer to consider loops to completely unroll. NewPeter Szecsi2017-07-191-0/+2
* [analyzer] Add new Z3 constraint manager backendDominic Chen2017-04-041-0/+16
* [analyzer] Refactor and simplify SimpleConstraintManagerDominic Chen2017-02-251-0/+1
* Reapply r251621 "[Analyzer] Widening loops which do not exit"Sean Eveson2015-10-301-0/+1
* Revert r251621 "[Analyzer] Widening loops which do not exit" (bot failure)Sean Eveson2015-10-301-1/+0
* [Analyzer] Widening loops which do not exitSean Eveson2015-10-291-0/+1
* [analyzer] Bug identificationGabor Horvath2015-10-221-0/+1
* [Static Analyzer] Properly clean up the dynamic type information for dead reg...Gabor Horvath2015-09-111-0/+1
* Make clang's rewrite engine a core featureAlp Toker2014-07-161-1/+1
* [CMake] Use LINK_LIBS instead of target_link_libraries().NAKAMURA Takumi2014-02-261-2/+1
* [CMake] Get rid of explicit dependencies to include/clang/*.inc and introduce...NAKAMURA Takumi2014-02-211-9/+0
* [CMake] clang/lib: Prune redundant dependencies.NAKAMURA Takumi2013-12-101-1/+0
* [CMake] clang/lib: Satisfy dependencies to add *actually used* libraries on t...NAKAMURA Takumi2013-12-091-2/+3
* [analyzer] Replace bug category magic strings with shared constants, take 2.Jordan Rose2013-10-041-0/+1
* [analyzer] Merge TextPathDiagnostics and ClangDiagPathDiagConsumer.Jordan Rose2013-08-161-1/+0
* Remove ProgramState::getSymVal(). It was being misused by Checkers,Ted Kremenek2012-09-071-0/+1
* Split library clangRewrite into clangRewriteCore and clangRewriteFrontend.Ted Kremenek2012-09-011-1/+1
* [analyzer] Though C++ inlining is enabled, don't inline ctors and dtors.Jordan Rose2012-08-311-0/+1
* Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek2012-08-221-2/+1
* clang/lib: [CMake] Update tblgen'd dependencies.NAKAMURA Takumi2012-07-271-0/+1
* [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose2012-07-261-1/+1
* Implement AST classes for comments, a real parser for Doxygen comments and aDmitri Gribenko2012-07-061-0/+1
* [analyzer] Move the last bits of CallOrObjCMessage over to CallEvent.Jordan Rose2012-07-021-1/+0
* [analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose2012-07-021-0/+1
* Remove a goofy CMake hack and use the standard CMake facilities toChandler Carruth2012-06-211-4/+14
* [analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose2012-05-081-0/+1
* [analyzer] Record the basic blocks covered by the analyzes run.Anna Zaks2012-04-031-0/+1
* [analyzer] Remove AggExprVisitor, a dead class that assisted in visiting C++ ...Jordy Rose2012-03-151-1/+0
* Update the CMake build for r146959's new files.Chandler Carruth2011-12-201-0/+1
View Lorry Controller Status