Matches in SemOpenAlex for { <https://semopenalex.org/work/W1968678619> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1968678619 abstract "Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that algorithm is then extensively tweaked to add just enough precision for the coding idioms seen in practice, without sacrificing too much efficiency. There are several downsides to adding precision in this way: the tool's implementation becomes much more complicated; it can be hard for an end-user to interpret the tool's results; and as software systems vary tremendously in their coding styles, it may require significant algorithmic engineering to enhance a tool to perform well in a particular software domain.In this paper, we present Mix, a novel system that mixes type checking and symbolic execution. The key aspect of our approach is that these analyses are applied independently on disjoint parts of the program, in an off-the-shelf manner. At the boundaries between nested type checked and symbolically executed code regions, we use special mix rules to communicate information between the off-the-shelf systems. The resulting mixture is a provably sound analysis that is more precise than type checking alone and more efficient than exclusive symbolic execution. In addition, we also describe a prototype implementation, Mixy, for C. Mixy checks for potential null dereferences by mixing a null/non-null type qualifier inference system with a symbolic executor." @default.
- W1968678619 created "2016-06-24" @default.
- W1968678619 creator A5026641861 @default.
- W1968678619 creator A5038702707 @default.
- W1968678619 creator A5048756174 @default.
- W1968678619 date "2010-06-05" @default.
- W1968678619 modified "2023-10-18" @default.
- W1968678619 title "Mixing type checking and symbolic execution" @default.
- W1968678619 cites W1554161785 @default.
- W1968678619 cites W1994660988 @default.
- W1968678619 cites W2005192022 @default.
- W1968678619 cites W2009489720 @default.
- W1968678619 cites W2014764321 @default.
- W1968678619 cites W2029674270 @default.
- W1968678619 cites W2082000355 @default.
- W1968678619 cites W2098345837 @default.
- W1968678619 cites W2101512909 @default.
- W1968678619 cites W2104993088 @default.
- W1968678619 cites W2110423393 @default.
- W1968678619 cites W2128963089 @default.
- W1968678619 cites W2132897303 @default.
- W1968678619 cites W2135274583 @default.
- W1968678619 cites W2141210774 @default.
- W1968678619 cites W2157859774 @default.
- W1968678619 cites W2164778826 @default.
- W1968678619 cites W2295923951 @default.
- W1968678619 cites W4212792638 @default.
- W1968678619 cites W4232671690 @default.
- W1968678619 cites W4237492309 @default.
- W1968678619 cites W4246385123 @default.
- W1968678619 cites W4249000722 @default.
- W1968678619 doi "https://doi.org/10.1145/1806596.1806645" @default.
- W1968678619 hasPublicationYear "2010" @default.
- W1968678619 type Work @default.
- W1968678619 sameAs 1968678619 @default.
- W1968678619 citedByCount "18" @default.
- W1968678619 countsByYear W19686786192012 @default.
- W1968678619 countsByYear W19686786192013 @default.
- W1968678619 countsByYear W19686786192014 @default.
- W1968678619 countsByYear W19686786192015 @default.
- W1968678619 countsByYear W19686786192016 @default.
- W1968678619 countsByYear W19686786192017 @default.
- W1968678619 countsByYear W19686786192018 @default.
- W1968678619 countsByYear W19686786192020 @default.
- W1968678619 crossrefType "proceedings-article" @default.
- W1968678619 hasAuthorship W1968678619A5026641861 @default.
- W1968678619 hasAuthorship W1968678619A5038702707 @default.
- W1968678619 hasAuthorship W1968678619A5048756174 @default.
- W1968678619 hasConcept C121332964 @default.
- W1968678619 hasConcept C127313418 @default.
- W1968678619 hasConcept C138777275 @default.
- W1968678619 hasConcept C151730666 @default.
- W1968678619 hasConcept C173608175 @default.
- W1968678619 hasConcept C199360897 @default.
- W1968678619 hasConcept C2777299769 @default.
- W1968678619 hasConcept C41008148 @default.
- W1968678619 hasConcept C62520636 @default.
- W1968678619 hasConcept C80444323 @default.
- W1968678619 hasConceptScore W1968678619C121332964 @default.
- W1968678619 hasConceptScore W1968678619C127313418 @default.
- W1968678619 hasConceptScore W1968678619C138777275 @default.
- W1968678619 hasConceptScore W1968678619C151730666 @default.
- W1968678619 hasConceptScore W1968678619C173608175 @default.
- W1968678619 hasConceptScore W1968678619C199360897 @default.
- W1968678619 hasConceptScore W1968678619C2777299769 @default.
- W1968678619 hasConceptScore W1968678619C41008148 @default.
- W1968678619 hasConceptScore W1968678619C62520636 @default.
- W1968678619 hasConceptScore W1968678619C80444323 @default.
- W1968678619 hasLocation W19686786191 @default.
- W1968678619 hasOpenAccess W1968678619 @default.
- W1968678619 hasPrimaryLocation W19686786191 @default.
- W1968678619 hasRelatedWork W2112962394 @default.
- W1968678619 hasRelatedWork W2117014006 @default.
- W1968678619 hasRelatedWork W2118300983 @default.
- W1968678619 hasRelatedWork W2372170743 @default.
- W1968678619 hasRelatedWork W2382501300 @default.
- W1968678619 hasRelatedWork W3137189469 @default.
- W1968678619 hasRelatedWork W3162240892 @default.
- W1968678619 hasRelatedWork W4233815414 @default.
- W1968678619 hasRelatedWork W4235530921 @default.
- W1968678619 hasRelatedWork W4243252198 @default.
- W1968678619 isParatext "false" @default.
- W1968678619 isRetracted "false" @default.
- W1968678619 magId "1968678619" @default.
- W1968678619 workType "article" @default.