summaryrefslogtreecommitdiff
path: root/test/Analysis/security-syntax-checks.m
AgeCommit message (Expand)Author
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen
2015-03-11Enable security checks for arc4random() on CloudABI as well.Ed Schouten
2013-06-24Check the canonical parameter type with getAs<>() in a static checkerReid Kleckner
2012-08-16Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the s...Ted Kremenek
2012-01-31[analyzer] Change the warning to suggest 'strlcat/strlcpy' asAnna Zaks
2012-01-20Implement checker that looks for calls to mktemps and friends that have fewer...Ted Kremenek
2012-01-20Turn 'SecuritySyntaxChecker' into a "meta" security checker for insecure APIs...Ted Kremenek
2011-10-19Fix the signatures of vfork, __sigsetjmp and sigsetjmp.Rafael Espindola
2011-10-12Add returns_twice to functions that are known to return twice. This implementsRafael Espindola
2011-10-11[analyzer] Warn about the use of insecure, deprecated vfork() function PR1105...Anna Zaks
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek
2011-04-05Add security syntax checker for strcat() which causes the Static Analyzer to ...Lenny Maiorani
2011-03-31Add security syntax checker for strcpy() which causes the Static Analyzer to ...Lenny Maiorani
2011-03-24Rework checker "packages" and groups to be more hierarchical.Ted Kremenek
2011-02-17[analyzer] Use the new registration mechanism on the non-path-sensitive-check...Argyrios Kyrtzidis
2010-02-05Rename -cc1 option '-warn-security-syntactic' to '-analyzer-check-security-sy...Ted Kremenek
2009-12-16Add abort() as a builtin. This has two effects: one, we warn for incorrect Eli Friedman
2009-12-15Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar
2009-12-14Replace clang-cc with clang -cc1.Zhongxing Xu
2009-12-06Add test case for mktemp. Patch by Lei Zhang.Zhongxing Xu
2009-11-09Add check for obsolete function call of getpw().Zhongxing Xu
2009-09-02Implement: <rdar://problem/6337100> CWE-338: Use of cryptographically weak prngTed Kremenek
2009-08-28Implement: <rdar://problem/6337132> CWE-273: Failure to Check Whether PrivilegesTed Kremenek
2009-07-23Implement: <rdar://problem/6335715> rule request: gets() buffer overflowTed Kremenek
2009-07-23Refine checking and diagnostics for use of floating point variable as a counter.Ted Kremenek