Tag frama-c - Questa è pagina 2 - GeneraCodice

How to convert data type from Cil_types to Cil

https://www.generacodice.com/it/articolo/11082941/how-to-convert-data-type-from-cil-types-to-cil

ocaml - static-code-analysis - frama-c

Which Frama-C version is best suited to develop a slicing plugin?

https://www.generacodice.com/it/articolo/10383945/which-frama-c-version-is-best-suited-to-develop-a-slicing-plugin

slice - frama-c

PreCondition or PostCondtion in ACSL

https://www.generacodice.com/it/articolo/10374621/precondition-or-postcondtion-in-acsl

frama-c

Type check and code pattern detection, Frama-C

https://www.generacodice.com/it/articolo/10038858/type-check-and-code-pattern-detection-frama-c

c - static-analysis - typechecking - pattern-matching - frama-c

Understanding Frama-C logic labels

https://www.generacodice.com/it/articolo/9688341/understanding-frama-c-logic-labels

frama-c

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

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

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

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

Conditioned Slicing in Frama-C

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

slice - frama-c

«
1
2
3
4
5
6
»

Risultati trovati: 64