Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis.
Roland MeyerSebastian WolffPublished in: CoRR (2018)
Keyphrases
- static analysis
- data structure
- dynamic analysis
- memory management
- main memory
- source code
- symbolic execution
- external memory
- java card
- hash table
- operating system
- malicious code
- regular expressions
- input output
- concurrency control
- read write
- abstract interpretation
- test generation
- bloom filter
- hardware implementation
- pattern matching
- test suite
- artificial intelligence
- databases