Tag frama-c - Это страница 2 - GeneraCodice

How to convert data type from Cil_types to Cil

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

  ocaml  -  static-code-analysis  -  frama-c

StackOverflow

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

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

  slice  -  frama-c

StackOverflow

PreCondition or PostCondtion in ACSL

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

  frama-c

StackOverflow

Type check and code pattern detection, Frama-C

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

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

StackOverflow

Understanding Frama-C logic labels

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

  frama-c

StackOverflow

Strong pointers to varinfo that does not exist in AST?

https://www.generacodice.com/ru/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/ru/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/ru/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/ru/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/ru/articolo/8823702/conditioned-slicing-in-frama-c

  slice  -  frama-c

StackOverflow

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

Результаты найдены: 64