Matches in SemOpenAlex for { <https://semopenalex.org/work/W3023082753> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W3023082753 abstract "The state explosion problem faced by concolic execution is significantly serious when detecting program bugs especially in large scale software systems. To mitigate the issue, we propose a practical concolic execution approach to detect vulnerabilities in this paper. First, we identify the correlation between symbolic memory and control flow by statically analyzing the software under test, and distinguish the critical symbolic memory and ordinary symbolic memory according to the above correlation. Then, we design different strategies for two kinds of symbolic memory in order to generate state when performing concolic execution of the target software. We present these ideas in a prototype system, Pracolic, and evaluate it with four file systems in Linux, i.e., ext4, XFS, Btrfs, and ReiserFS. Experimental results show that Pracolic can effectively mitigate the problem of state explosion in concolic execution, and outperform S2E, a state-of-the-art analysis system, on state reduction and code coverage for large scale software systems." @default.
- W3023082753 created "2020-05-13" @default.
- W3023082753 creator A5022539949 @default.
- W3023082753 creator A5069408524 @default.
- W3023082753 creator A5070991316 @default.
- W3023082753 creator A5073852078 @default.
- W3023082753 date "2020-04-15" @default.
- W3023082753 modified "2023-09-24" @default.
- W3023082753 title "A Practical Concolic Execution Technique for Large Scale Software Systems" @default.
- W3023082753 cites W1511333535 @default.
- W3023082753 cites W2009489720 @default.
- W3023082753 cites W2034846556 @default.
- W3023082753 cites W2107147876 @default.
- W3023082753 cites W2137530017 @default.
- W3023082753 cites W2401312886 @default.
- W3023082753 cites W2623182815 @default.
- W3023082753 cites W2795283266 @default.
- W3023082753 cites W2977692062 @default.
- W3023082753 cites W4237492309 @default.
- W3023082753 cites W4246385123 @default.
- W3023082753 doi "https://doi.org/10.1145/3383219.3383254" @default.
- W3023082753 hasPublicationYear "2020" @default.
- W3023082753 type Work @default.
- W3023082753 sameAs 3023082753 @default.
- W3023082753 citedByCount "1" @default.
- W3023082753 countsByYear W30230827532020 @default.
- W3023082753 crossrefType "proceedings-article" @default.
- W3023082753 hasAuthorship W3023082753A5022539949 @default.
- W3023082753 hasAuthorship W3023082753A5069408524 @default.
- W3023082753 hasAuthorship W3023082753A5070991316 @default.
- W3023082753 hasAuthorship W3023082753A5073852078 @default.
- W3023082753 hasConcept C11219265 @default.
- W3023082753 hasConcept C115903868 @default.
- W3023082753 hasConcept C121332964 @default.
- W3023082753 hasConcept C149635348 @default.
- W3023082753 hasConcept C199360897 @default.
- W3023082753 hasConcept C2777904410 @default.
- W3023082753 hasConcept C2778755073 @default.
- W3023082753 hasConcept C2779639559 @default.
- W3023082753 hasConcept C41008148 @default.
- W3023082753 hasConcept C62520636 @default.
- W3023082753 hasConceptScore W3023082753C11219265 @default.
- W3023082753 hasConceptScore W3023082753C115903868 @default.
- W3023082753 hasConceptScore W3023082753C121332964 @default.
- W3023082753 hasConceptScore W3023082753C149635348 @default.
- W3023082753 hasConceptScore W3023082753C199360897 @default.
- W3023082753 hasConceptScore W3023082753C2777904410 @default.
- W3023082753 hasConceptScore W3023082753C2778755073 @default.
- W3023082753 hasConceptScore W3023082753C2779639559 @default.
- W3023082753 hasConceptScore W3023082753C41008148 @default.
- W3023082753 hasConceptScore W3023082753C62520636 @default.
- W3023082753 hasLocation W30230827531 @default.
- W3023082753 hasOpenAccess W3023082753 @default.
- W3023082753 hasPrimaryLocation W30230827531 @default.
- W3023082753 hasRelatedWork W157156687 @default.
- W3023082753 hasRelatedWork W19720440 @default.
- W3023082753 hasRelatedWork W2002703587 @default.
- W3023082753 hasRelatedWork W2347547156 @default.
- W3023082753 hasRelatedWork W2356158875 @default.
- W3023082753 hasRelatedWork W2360518820 @default.
- W3023082753 hasRelatedWork W2367699234 @default.
- W3023082753 hasRelatedWork W2374512474 @default.
- W3023082753 hasRelatedWork W2380242202 @default.
- W3023082753 hasRelatedWork W3127714361 @default.
- W3023082753 isParatext "false" @default.
- W3023082753 isRetracted "false" @default.
- W3023082753 magId "3023082753" @default.
- W3023082753 workType "article" @default.