FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4244413641> ?p ?o ?g. }

• W4244413641 endingPage "278" @default.
• W4244413641 startingPage "265" @default.
• W4244413641 abstract "This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E's use in developing practical tools for comprehensive performance profiling, reverse engineering of proprietary software, and bug finding for both kernel-mode and user-mode binaries. Building these tools on top of S2E took less than 770 LOC and 40 person-hours each. S2E's novelty consists of its ability to scale to large real systems, such as a full Windows stack. S2E is based on two new ideas: selective symbolic execution, a way to automatically minimize the amount of code that has to be executed symbolically given a target analysis, and relaxed execution consistency models, a way to make principled performance/accuracy trade-offs in complex analyses. These techniques give S2E three key abilities: to simultaneously analyze entire families of execution paths, instead of just one execution at a time; to perform the analyses in-vivo within a real software stack--user programs, libraries, kernel, drivers, etc.--instead of using abstract models of these layers; and to operate directly on binaries, thus being able to analyze even proprietary software. Conceptually, S2E is an automated path explorer with modular path analyzers: the explorer drives the target system down all execution paths of interest, while analyzers check properties of each such path (e.g., to look for bugs) or simply collect information (e.g., count page faults). Desired paths can be specified in multiple ways, and S2E users can either combine existing analyzers to build a custom analysis tool, or write new analyzers using the S2E API." @default.
• W4244413641 created "2022-05-12" @default.
• W4244413641 creator A5028907149 @default.
• W4244413641 creator A5064247813 @default.
• W4244413641 creator A5081324986 @default.
• W4244413641 date "2011-03-05" @default.
• W4244413641 modified "2023-10-16" @default.
• W4244413641 title "S2E" @default.
• W4244413641 cites W1754076483 @default.
• W4244413641 cites W1970090703 @default.
• W4244413641 cites W1972544179 @default.
• W4244413641 cites W1992105245 @default.
• W4244413641 cites W2008626182 @default.
• W4244413641 cites W2009489720 @default.
• W4244413641 cites W2065675749 @default.
• W4244413641 cites W2101512909 @default.
• W4244413641 cites W2107558499 @default.
• W4244413641 cites W2113167168 @default.
• W4244413641 cites W2119251836 @default.
• W4244413641 cites W2122425154 @default.
• W4244413641 cites W2130169574 @default.
• W4244413641 cites W2131195907 @default.
• W4244413641 cites W2132897303 @default.
• W4244413641 cites W2140809377 @default.
• W4244413641 cites W2153185479 @default.
• W4244413641 cites W2158047578 @default.
• W4244413641 cites W2296669295 @default.
• W4244413641 cites W4205854416 @default.
• W4244413641 cites W4237492309 @default.
• W4244413641 cites W4239813889 @default.
• W4244413641 cites W4242340158 @default.
• W4244413641 cites W4246385123 @default.
• W4244413641 doi "https://doi.org/10.1145/1961296.1950396" @default.
• W4244413641 hasPublicationYear "2011" @default.
• W4244413641 type Work @default.
• W4244413641 citedByCount "64" @default.
• W4244413641 countsByYear W42444136412013 @default.
• W4244413641 countsByYear W42444136412016 @default.
• W4244413641 countsByYear W42444136412017 @default.
• W4244413641 countsByYear W42444136412018 @default.
• W4244413641 countsByYear W42444136412019 @default.
• W4244413641 countsByYear W42444136412020 @default.
• W4244413641 countsByYear W42444136412021 @default.
• W4244413641 countsByYear W42444136412022 @default.
• W4244413641 countsByYear W42444136412023 @default.
• W4244413641 crossrefType "journal-article" @default.
• W4244413641 hasAuthorship W4244413641A5028907149 @default.
• W4244413641 hasAuthorship W4244413641A5064247813 @default.
• W4244413641 hasAuthorship W4244413641A5081324986 @default.
• W4244413641 hasBestOaLocation W42444136412 @default.
• W4244413641 hasConcept C101468663 @default.
• W4244413641 hasConcept C111919701 @default.
• W4244413641 hasConcept C114614502 @default.
• W4244413641 hasConcept C138885662 @default.
• W4244413641 hasConcept C154945302 @default.
• W4244413641 hasConcept C168065819 @default.
• W4244413641 hasConcept C187191949 @default.
• W4244413641 hasConcept C199360897 @default.
• W4244413641 hasConcept C26517878 @default.
• W4244413641 hasConcept C27206212 @default.
• W4244413641 hasConcept C2776436953 @default.
• W4244413641 hasConcept C2777904410 @default.
• W4244413641 hasConcept C2778738651 @default.
• W4244413641 hasConcept C2779639559 @default.
• W4244413641 hasConcept C33923547 @default.
• W4244413641 hasConcept C41008148 @default.
• W4244413641 hasConcept C74193536 @default.
• W4244413641 hasConceptScore W4244413641C101468663 @default.
• W4244413641 hasConceptScore W4244413641C111919701 @default.
• W4244413641 hasConceptScore W4244413641C114614502 @default.
• W4244413641 hasConceptScore W4244413641C138885662 @default.
• W4244413641 hasConceptScore W4244413641C154945302 @default.
• W4244413641 hasConceptScore W4244413641C168065819 @default.
• W4244413641 hasConceptScore W4244413641C187191949 @default.
• W4244413641 hasConceptScore W4244413641C199360897 @default.
• W4244413641 hasConceptScore W4244413641C26517878 @default.
• W4244413641 hasConceptScore W4244413641C27206212 @default.
• W4244413641 hasConceptScore W4244413641C2776436953 @default.
• W4244413641 hasConceptScore W4244413641C2777904410 @default.
• W4244413641 hasConceptScore W4244413641C2778738651 @default.
• W4244413641 hasConceptScore W4244413641C2779639559 @default.
• W4244413641 hasConceptScore W4244413641C33923547 @default.
• W4244413641 hasConceptScore W4244413641C41008148 @default.
• W4244413641 hasConceptScore W4244413641C74193536 @default.
• W4244413641 hasIssue "3" @default.
• W4244413641 hasLocation W42444136411 @default.
• W4244413641 hasLocation W42444136412 @default.
• W4244413641 hasOpenAccess W4244413641 @default.
• W4244413641 hasPrimaryLocation W42444136411 @default.
• W4244413641 hasRelatedWork W1498982577 @default.
• W4244413641 hasRelatedWork W1587224678 @default.
• W4244413641 hasRelatedWork W1601811574 @default.
• W4244413641 hasRelatedWork W1602801198 @default.
• W4244413641 hasRelatedWork W2097113253 @default.
• W4244413641 hasRelatedWork W2352657247 @default.
• W4244413641 hasRelatedWork W2832131618 @default.
• W4244413641 hasRelatedWork W4206431808 @default.
• W4244413641 hasRelatedWork W4253385079 @default.

• next