Issues · pub / frama-c · GitLab

Snippets Groups Projects

Issue [WP] Error using type set to define new functions

#2718 created 3 months ago
wp
updated 2 months ago
Issue [Markdown Report] SARIF-generation have non-descriptive error messages.

#2717 created 3 months ago
enhancement markdown-report
updated 3 months ago
Issue [kernel] Explicit list notation has wrong type

#2715 created 5 months ago
kernel
updated 2 months ago
Issue [Kernel] Inlined ghost function parameters become non-ghost variables

#2714 created 6 months ago
bug kernel
updated 6 months ago
Issue [WP] various non-matching patterns in proof strategies

#2713 created 7 months ago
bug wp
updated 7 months ago
Issue Missing subgraph in the PDG dot file generated by the plugin in Frama-c

#2710 created 7 months ago
Issue How do I get the invariants of each program point during the analysis process when use eva

#2708 created 8 months ago
eva
updated 7 months ago
Issue Assistance with Frama-C Slicing Tool for Code Slicing by Variable

#2706 created 8 months ago
updated 8 months ago
Issue Unstable WP proof scripts - failure at replay

#2705 created 8 months ago
wp
updated 6 months ago
Issue [WP] Dereferencing after referencing of argument leads to inconsistency

#2702 created 10 months ago
ACSL confirmed eva wp
updated 9 months ago
Issue False positive with -unspecified-access option

#2697 created 1 year ago
updated 1 year ago
Issue [E-ACSL] Wrong instrumentation of ghost code

#2696 created 1 year ago
bug e-acsl
updated 9 months ago
Issue [WP] Manual script soundness bug

#2694 created 1 year ago
confirmed wp
updated 1 year ago
Issue [wp] Failure: [Why3 Error] anomaly: Not_found

#2688 created 1 year ago
wp
updated 1 year ago
Issue [WP] save / load not saving strategies

#2685 created 1 year ago
wp
updated 1 year ago
Issue [WP] crash observed with scripts and strategies

#2684 created 1 year ago
wp
updated 1 year ago
Issue [WP] non-matching of strategies with forall and implication

#2683 created 1 year ago
wp
updated 1 year ago
Issue [kernel] Conflicting types error for enum & typedef enum

#2681 created 1 year ago
confirmed kernel
updated 4 months ago
Issue \separated for stack-allocated variable length arrays

#2679 created 1 year ago
wp
updated 1 year ago
Issue E-ACSL : non-existent assigns clause in behavior

#2676 created 1 year ago
e-acsl
updated 2 weeks ago