Tag static-analysis - This is page 17 - GeneraCodice

Clean way for a user to provide sets of LLVM instructions that I can parse in an LLVM Pass

https://www.generacodice.com/en/articolo/7494921/clean-way-for-a-user-to-provide-sets-of-llvm-instructions-that-i-can-parse-in-an-llvm-pass
  c++  -  parsing  -  static-analysis  -  llvm
StackOverflow StackOverflow

Python compile time type checking

https://www.generacodice.com/en/articolo/7418032/python-compile-time-type-checking
  python  -  static-analysis  -  pylint
StackOverflow StackOverflow

Does this pattern work in C++?

https://www.generacodice.com/en/articolo/7390471/does-this-pattern-work-in-c
  c++  -  static-analysis  -  c++11  -  prefast  -  c++98
StackOverflow StackOverflow

How can I convince XCode's Analyzer that this isn't a leak?

https://www.generacodice.com/en/articolo/7370017/how-can-i-convince-xcode-s-analyzer-that-this-isn-t-a-leak
  objective-c  -  static-analysis  -  xcode
StackOverflow StackOverflow

Removing useless lines from c++ file

https://www.generacodice.com/en/articolo/7179373/removing-useless-lines-from-c-file
  c++  -  static-analysis  -  unused-variables
StackOverflow StackOverflow

Frama-C/WP/ACSL Correct use of \valid on structures

https://www.generacodice.com/en/articolo/7084201/frama-c-wp-acsl-correct-use-of-valid-on-structures
  c  -  static-analysis  -  design-by-contract  -  frama-c
StackOverflow StackOverflow

ACSL annotations on C macros

https://www.generacodice.com/en/articolo/7071397/acsl-annotations-on-c-macros
  c  -  static-analysis  -  c-preprocessor  -  design-by-contract  -  frama-c
StackOverflow StackOverflow

Frama-C/WP not able to prove loop invariant with \at

https://www.generacodice.com/en/articolo/6986680/frama-c-wp-not-able-to-prove-loop-invariant-with-at
  c  -  static-analysis  -  design-by-contract  -  loop-invariant  -  frama-c
StackOverflow StackOverflow

What tools or process to use to statically analyse JSPs?

https://www.generacodice.com/en/articolo/6836878/what-tools-or-process-to-use-to-statically-analyse-jsps
  java  -  static-analysis  -  jsp
StackOverflow StackOverflow

How to build a Control Flow Graph (CFG) from a JSON object (AST)

https://www.generacodice.com/en/articolo/6552367/how-to-build-a-control-flow-graph-cfg-from-a-json-object-ast
  static-analysis  -  procedural-programming  -  abstract-syntax-tree  -  control-flow-graph  -  touchdevelop
StackOverflow StackOverflow
Results found: 893
scroll top