Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952940507> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2952940507 abstract "Analysis tools like abstract interpreters, symbolic execution tools and testing tools usually require a proper context to give useful results when analyzing a particular function. Such a context initializes the function parameters and global variables to comply with function requirements. However it may be error-prone to write it by hand: the handwritten context might contain bugs or not match the intended specification. A more robust approach is to specify the context in a dedicated specification language, and hold the analysis tools to support it properly. This may mean to put significant development efforts for enhancing the tools, something that is often not feasible if ever possible. This paper presents a way to systematically generate such a context from a formal specification of a C function. This is applied to a subset of the ACSL specification language in order to generate suitable contexts for the abstract interpretation-based value analysis plug-ins of Frama-C, a framework for analysis of code written in C. The idea here presented has been implemented in a new Frama-C plug-in which is currently in use in an operational industrial setting." @default.
- W2952940507 created "2019-06-27" @default.
- W2952940507 creator A5087037717 @default.
- W2952940507 creator A5088153468 @default.
- W2952940507 date "2017-09-05" @default.
- W2952940507 modified "2023-09-23" @default.
- W2952940507 title "Context Generation from Formal Specifications for C Analysis Tools" @default.
- W2952940507 cites W1993255342 @default.
- W2952940507 cites W2009489720 @default.
- W2952940507 cites W2043100293 @default.
- W2952940507 cites W2060305346 @default.
- W2952940507 cites W2105315191 @default.
- W2952940507 cites W2107742417 @default.
- W2952940507 cites W2108149083 @default.
- W2952940507 cites W2112472122 @default.
- W2952940507 cites W2120112520 @default.
- W2952940507 cites W2132331020 @default.
- W2952940507 cites W2140566320 @default.
- W2952940507 cites W2157264616 @default.
- W2952940507 cites W2168895934 @default.
- W2952940507 cites W2293033107 @default.
- W2952940507 cites W2569221827 @default.
- W2952940507 hasPublicationYear "2017" @default.
- W2952940507 type Work @default.
- W2952940507 sameAs 2952940507 @default.
- W2952940507 citedByCount "0" @default.
- W2952940507 crossrefType "posted-content" @default.
- W2952940507 hasAuthorship W2952940507A5087037717 @default.
- W2952940507 hasAuthorship W2952940507A5088153468 @default.
- W2952940507 hasConcept C115903868 @default.
- W2952940507 hasConcept C116253237 @default.
- W2952940507 hasConcept C122783720 @default.
- W2952940507 hasConcept C14036430 @default.
- W2952940507 hasConcept C151730666 @default.
- W2952940507 hasConcept C199360897 @default.
- W2952940507 hasConcept C201677973 @default.
- W2952940507 hasConcept C2779343474 @default.
- W2952940507 hasConcept C41008148 @default.
- W2952940507 hasConcept C4924752 @default.
- W2952940507 hasConcept C78458016 @default.
- W2952940507 hasConcept C86803240 @default.
- W2952940507 hasConceptScore W2952940507C115903868 @default.
- W2952940507 hasConceptScore W2952940507C116253237 @default.
- W2952940507 hasConceptScore W2952940507C122783720 @default.
- W2952940507 hasConceptScore W2952940507C14036430 @default.
- W2952940507 hasConceptScore W2952940507C151730666 @default.
- W2952940507 hasConceptScore W2952940507C199360897 @default.
- W2952940507 hasConceptScore W2952940507C201677973 @default.
- W2952940507 hasConceptScore W2952940507C2779343474 @default.
- W2952940507 hasConceptScore W2952940507C41008148 @default.
- W2952940507 hasConceptScore W2952940507C4924752 @default.
- W2952940507 hasConceptScore W2952940507C78458016 @default.
- W2952940507 hasConceptScore W2952940507C86803240 @default.
- W2952940507 hasOpenAccess W2952940507 @default.
- W2952940507 hasRelatedWork W1154757093 @default.
- W2952940507 hasRelatedWork W1499979064 @default.
- W2952940507 hasRelatedWork W1516687603 @default.
- W2952940507 hasRelatedWork W1529039160 @default.
- W2952940507 hasRelatedWork W155099561 @default.
- W2952940507 hasRelatedWork W1661517335 @default.
- W2952940507 hasRelatedWork W177414651 @default.
- W2952940507 hasRelatedWork W1777306412 @default.
- W2952940507 hasRelatedWork W200393205 @default.
- W2952940507 hasRelatedWork W2101517341 @default.
- W2952940507 hasRelatedWork W2104290996 @default.
- W2952940507 hasRelatedWork W2123300540 @default.
- W2952940507 hasRelatedWork W2235728809 @default.
- W2952940507 hasRelatedWork W2396794042 @default.
- W2952940507 hasRelatedWork W2399272228 @default.
- W2952940507 hasRelatedWork W2474185432 @default.
- W2952940507 hasRelatedWork W2488787889 @default.
- W2952940507 hasRelatedWork W2558418289 @default.
- W2952940507 hasRelatedWork W62393266 @default.
- W2952940507 hasRelatedWork W2183370959 @default.
- W2952940507 isParatext "false" @default.
- W2952940507 isRetracted "false" @default.
- W2952940507 magId "2952940507" @default.
- W2952940507 workType "article" @default.