Tag static-analysis - Это страница 18 - GeneraCodice

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

https://www.generacodice.com/ru/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/ru/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/ru/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/ru/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/ru/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

FindBugs shows only the first occurrence of a bug

https://www.generacodice.com/ru/articolo/6545560/findbugs-shows-only-the-first-occurrence-of-a-bug
  eclipse  -  static-analysis  -  findbugs
StackOverflow StackOverflow

Coverity and C++: heap (with new) vs. on-stack allocation

https://www.generacodice.com/ru/articolo/6463240/coverity-and-c-heap-with-new-vs-on-stack-allocation
  c++  -  static-analysis  -  coverity
StackOverflow StackOverflow

Why doesn't NDepend produce a stable LOC count?

https://www.generacodice.com/ru/articolo/6391366/why-doesn-t-ndepend-produce-a-stable-loc-count
  c#  -  static-analysis  -  lines-of-code  -  ndepend
StackOverflow StackOverflow

How do I find all execution paths that use a certain method in a Java class?

https://www.generacodice.com/ru/articolo/6391174/how-do-i-find-all-execution-paths-that-use-a-certain-method-in-a-java-class
  java  -  static-analysis  -  code-analysis  -  execution
StackOverflow StackOverflow

Why do some static analysis tools not report potential buffer overflows?

https://www.generacodice.com/ru/articolo/6372142/why-do-some-static-analysis-tools-not-report-potential-buffer-overflows
  static-analysis  -  pvs-studio
StackOverflow StackOverflow
Результаты найдены: 893
scroll top