Home
last modified time | relevance | path

Searched refs:analysis (Results 1 – 25 of 82) sorted by relevance

1234

/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DAnalyses.def35 ANALYSIS_DIAGNOSTICS(HTML, "html", "Output analysis results using HTML",
40 "Output analysis results using HTML (not allowing for multi-file bugs)",
43 ANALYSIS_DIAGNOSTICS(PLIST, "plist", "Output analysis results using Plists",
48 "Output analysis results using Plists (allowing for multi-file bugs)",
52 "Output analysis results using HTML wrapped with Plists",
55 ANALYSIS_DIAGNOSTICS(SARIF, "sarif", "Output analysis results using SARIF",
59 "Output analysis results using both SARIF and HTML "
63 ANALYSIS_DIAGNOSTICS(TEXT, "text", "Text output of analysis results to stderr",
69 "used in addition to other analysis types",
H A DAnalyzerOptions.def143 "during analysis. If temporary destructors are disabled "
231 "actually elided during analysis. Both behaviors are allowed by the C++ "
244 "Whether the analysis should try to widen loops.", false)
248 "Whether the analysis should try to unroll loops with known bounds.", false)
280 "this can increase analysis precision until we have a better way to lazily "
285 bool, IsNaiveCTUEnabled, "experimental-enable-naive-ctu-analysis",
286 "Whether naive cross translation unit analysis is enabled. This is an "
323 "for import when inlining functions during CTU analysis. "
325 "analysis with many interdependent definitions located in "
332 "for import when inlining functions during CTU analysis of C++ "
[all …]
/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/
H A DPassSupport.h37 #define INITIALIZE_PASS(passName, arg, name, cfg, analysis) \ argument
41 PassInfo::NormalCtor_t(callDefaultCtor<passName>), cfg, analysis); \
51 #define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis) \ argument
58 #define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis) \ argument
61 PassInfo::NormalCtor_t(callDefaultCtor<passName>), cfg, analysis); \
153 #define INITIALIZE_AG_PASS(passName, agName, arg, name, cfg, analysis, def) \ argument
159 PassInfo::NormalCtor_t(callDefaultCtor<passName>), cfg, analysis); \
173 #define INITIALIZE_AG_PASS_BEGIN(passName, agName, arg, n, cfg, analysis, def) \ argument
178 #define INITIALIZE_AG_PASS_END(passName, agName, arg, n, cfg, analysis, def) \ argument
181 PassInfo::NormalCtor_t(callDefaultCtor<passName>), cfg, analysis); \
/freebsd-13.1/lib/libblacklist/
H A DMakefile12 CFLAGS.clang+=-Wno-thread-safety-analysis
/freebsd-13.1/sys/contrib/device-tree/Bindings/csky/
H A Dpmu.txt6 it could count cpu's events for helping analysis performance issues.
/freebsd-13.1/contrib/openbsm/
H A DCREDITS43 In addition, Coverity, Inc.'s Prevent(tm) static analysis tool and Gimpel
/freebsd-13.1/contrib/unbound/doc/
H A DCREDITS14 Ondřej Surý - running coverity analysis tool on 0.9 dev version.
/freebsd-13.1/contrib/libucl/m4/
H A Dgcov.m428 AC_ARG_ENABLE(coverage, AC_HELP_STRING([--enable-coverage],[configure code coverage analysis tools]…
/freebsd-13.1/sys/contrib/libsodium/
H A DTHANKS89 - Coverity, Inc. to provide static analysis.
/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/Demangle/
H A DREADME.txt10 some simple analysis on the mangled name, or (in LLVM) use the opaque
/freebsd-13.1/contrib/llvm-project/llvm/lib/Target/X86/
H A DX86InstrMPX.td11 // generation, machine code emission, and analysis.
H A DX86InstrFMA.td262 // Commuting the 1st operand of FMA*_Int requires some additional analysis,
264 // the lowest element of the FMA*_Int instruction. Even though such analysis
291 // forms and is possible only after special analysis of all uses of the initial
292 // instruction. Such analysis do not exist yet and thus introducing the 231
294 // such analysis will be implemented eventually.
/freebsd-13.1/crypto/openssl/doc/man3/
H A DRSA_check_key.pod53 acceleration or analysis purposes, then in all likelihood the RSA key data
H A DSSL_CTX_use_psk_identity_hint.pod134 in both versions, only limited analysis has been done. Implementations can
H A DSSL_CTX_set_psk_client_callback.pod141 in both versions, only limited analysis has been done. Implementations can
/freebsd-13.1/share/doc/papers/
H A Dbsdreferences.bib84 keywords = {bug fixing, code migration, empirical study, social network analysis},
309 keywords = {global development, open source, quantitative analysis},
/freebsd-13.1/sys/contrib/zstd/
H A DCONTRIBUTING.md73 … * Ensure that static analysis passes on your development machine. See the Static Analysis section
112 Static analysis is a process for examining the correctness or validity of a program without actually
114 static analysis. You can install it by following the instructions for your OS on https://clang-anal…
116 Once installed, you can ensure that our static analysis tests pass on your local development machine
129 ### Pitfalls of static analysis
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DCheckers.td309 HelpText<"Stores information during the analysis about nullability.">,
433 "no reports, but adds valuable information to the analysis when "
479 "emits no reports, but adds valuable information to the analysis "
1322 HelpText<"Print callbacks that are called during analysis in order">,
1478 HelpText<"Print results of live variable analysis">,
1482 HelpText<"Print results of live expression analysis">,
/freebsd-13.1/contrib/llvm-project/clang/include/clang/Basic/
H A DDiagnosticGroups.td441 def RangeLoopAnalysis : DiagGroup<"range-loop-analysis",
443 def ForLoopAnalysis : DiagGroup<"for-loop-analysis">;
444 def LoopAnalysis : DiagGroup<"loop-analysis", [ForLoopAnalysis,
982 def ThreadSafetyAnalysis : DiagGroup<"thread-safety-analysis">;
1211 def BackendOptimizationRemarkAnalysis : DiagGroup<"pass-analysis">;
1262 // A group for cross translation unit static analysis related warnings.
/freebsd-13.1/contrib/llvm-project/clang/include/clang/AST/
H A DCommentCommands.td126 // We don't do any additional semantic analysis for the following
/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/CodeGen/
H A DMachinePassRegistry.def89 // MACHINE_FUNCTION_ANALYSIS("gc-analysis", GCMachineCodeAnalysisPass())
/freebsd-13.1/sys/contrib/zlib/doc/
H A Dtxtvsbin.txt11 file type requires heavy-duty semantic analysis on the file contents.
/freebsd-13.1/contrib/llvm-project/llvm/lib/Target/AMDGPU/
H A DSISchedule.td75 // to the register pressure analysis.
/freebsd-13.1/sys/contrib/openzfs/tests/
H A DREADME.md79 a specific test need to be preserved for further analysis.
/freebsd-13.1/contrib/ncurses/
H A DTO-DO85 systems using that convention. For details, see the analysis in the header

1234