Tag frama-c - Questa è pagina 3 - GeneraCodice

Strong pointers to varinfo that does not exist in AST?

https://www.generacodice.com/it/articolo/9466551/strong-pointers-to-varinfo-that-does-not-exist-in-ast

  frama-c

StackOverflow

Proofs for code that relies on unsigned integer overflow?

https://www.generacodice.com/it/articolo/9151983/proofs-for-code-that-relies-on-unsigned-integer-overflow

  frama-c  -  alt-ergo

StackOverflow

ensures proved even though code is defective?

https://www.generacodice.com/it/articolo/9095409/ensures-proved-even-though-code-is-defective

  frama-c  -  alt-ergo

StackOverflow

Can we run value analysis in Frama-C on a C file that does not have the main function?

https://www.generacodice.com/it/articolo/8897338/can-we-run-value-analysis-in-frama-c-on-a-c-file-that-does-not-have-the-main-function

  frama-c

StackOverflow

Conditioned Slicing in Frama-C

https://www.generacodice.com/it/articolo/8823702/conditioned-slicing-in-frama-c

  slice  -  frama-c

StackOverflow

Get the array index variable and its value in value analysis (Frama-C)

https://www.generacodice.com/it/articolo/8793111/get-the-array-index-variable-and-its-value-in-value-analysis-frama-c

  static-analysis  -  ocaml  -  analysis  -  frama-c

StackOverflow

Understanding Frama-C slicer results

https://www.generacodice.com/it/articolo/8749398/understanding-frama-c-slicer-results

  slice  -  frama-c

StackOverflow

Get result into a string variable in OCaml

https://www.generacodice.com/it/articolo/8627598/get-result-into-a-string-variable-in-ocaml

  ocaml  -  frama-c

StackOverflow

Analyzing large projects with Frama-C

https://www.generacodice.com/it/articolo/8338170/analyzing-large-projects-with-frama-c

  frama-c

StackOverflow

Use possibly invalid pointer in ACSL dependencies

https://www.generacodice.com/it/articolo/8200308/use-possibly-invalid-pointer-in-acsl-dependencies

  frama-c

StackOverflow

• «
• 1
• 2
• 3
• 4
• 5
• 6
• »

Risultati trovati: 64