Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301486541> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4301486541 abstract "STANSE is a free (available under the GPLv2 license) modular framework for finding bugs in C programs using static analysis. Its two main design goals are 1) ability to process large software projects like the Linux kernel and 2) extensibility with new bug-finding techniques with a minimal effort. Currently there are four bug-finding algorithms implemented within STANSE: AutomatonChecker checks properties described in an automata-based formalism, ThreadChecker detects deadlocks among multiple threads, LockChecker finds locking errors based on statistics, and ReachabilityChecker looks for unreachable code. STANSE has been tested on the Linux kernel, where it has found dozens of previously undiscovered bugs." @default.
- W4301486541 created "2022-10-05" @default.
- W4301486541 creator A5029009110 @default.
- W4301486541 creator A5047725003 @default.
- W4301486541 creator A5048869948 @default.
- W4301486541 date "2012-02-03" @default.
- W4301486541 modified "2023-09-29" @default.
- W4301486541 title "STANSE: Bug-finding Framework for C Programs" @default.
- W4301486541 doi "https://doi.org/10.48550/arxiv.1202.0788" @default.
- W4301486541 hasPublicationYear "2012" @default.
- W4301486541 type Work @default.
- W4301486541 citedByCount "0" @default.
- W4301486541 crossrefType "posted-content" @default.
- W4301486541 hasAuthorship W4301486541A5029009110 @default.
- W4301486541 hasAuthorship W4301486541A5047725003 @default.
- W4301486541 hasAuthorship W4301486541A5048869948 @default.
- W4301486541 hasBestOaLocation W43014865411 @default.
- W4301486541 hasConcept C1009929 @default.
- W4301486541 hasConcept C101468663 @default.
- W4301486541 hasConcept C111919701 @default.
- W4301486541 hasConcept C112505250 @default.
- W4301486541 hasConcept C115903868 @default.
- W4301486541 hasConcept C117447612 @default.
- W4301486541 hasConcept C191727507 @default.
- W4301486541 hasConcept C199360897 @default.
- W4301486541 hasConcept C2777904410 @default.
- W4301486541 hasConcept C32833848 @default.
- W4301486541 hasConcept C41008148 @default.
- W4301486541 hasConcept C529173508 @default.
- W4301486541 hasConcept C553261973 @default.
- W4301486541 hasConcept C80444323 @default.
- W4301486541 hasConcept C97686452 @default.
- W4301486541 hasConceptScore W4301486541C1009929 @default.
- W4301486541 hasConceptScore W4301486541C101468663 @default.
- W4301486541 hasConceptScore W4301486541C111919701 @default.
- W4301486541 hasConceptScore W4301486541C112505250 @default.
- W4301486541 hasConceptScore W4301486541C115903868 @default.
- W4301486541 hasConceptScore W4301486541C117447612 @default.
- W4301486541 hasConceptScore W4301486541C191727507 @default.
- W4301486541 hasConceptScore W4301486541C199360897 @default.
- W4301486541 hasConceptScore W4301486541C2777904410 @default.
- W4301486541 hasConceptScore W4301486541C32833848 @default.
- W4301486541 hasConceptScore W4301486541C41008148 @default.
- W4301486541 hasConceptScore W4301486541C529173508 @default.
- W4301486541 hasConceptScore W4301486541C553261973 @default.
- W4301486541 hasConceptScore W4301486541C80444323 @default.
- W4301486541 hasConceptScore W4301486541C97686452 @default.
- W4301486541 hasLocation W43014865411 @default.
- W4301486541 hasLocation W43014865412 @default.
- W4301486541 hasLocation W43014865413 @default.
- W4301486541 hasLocation W43014865414 @default.
- W4301486541 hasOpenAccess W4301486541 @default.
- W4301486541 hasPrimaryLocation W43014865411 @default.
- W4301486541 hasRelatedWork W1487005365 @default.
- W4301486541 hasRelatedWork W1534000780 @default.
- W4301486541 hasRelatedWork W1982992412 @default.
- W4301486541 hasRelatedWork W2013637613 @default.
- W4301486541 hasRelatedWork W2126234902 @default.
- W4301486541 hasRelatedWork W2159849744 @default.
- W4301486541 hasRelatedWork W2371792015 @default.
- W4301486541 hasRelatedWork W2952659751 @default.
- W4301486541 hasRelatedWork W3151958197 @default.
- W4301486541 hasRelatedWork W4301486541 @default.
- W4301486541 isParatext "false" @default.
- W4301486541 isRetracted "false" @default.
- W4301486541 workType "article" @default.