21 search results - page 1 / 5 » Practical Context-Sensitive CFI |
111
Voted
CP
2010
Springer
15 years 2 months ago
2010
Springer
Personalisation and context-awareness are fundamental concerns in Telephony. This paper introduces a rule-based system - 4CRULES - which enables context-sensitive call control by t...
115
Voted
CCS
2005
ACM
15 years 9 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
129
Voted
QSIC
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
122
Voted
ICASSP
2007
IEEE
15 years 10 months ago
2007
IEEE
Recently, profile context-sensitive HMMs (profile-csHMMs) have been proposed which are very effective in modeling the common patterns and motifs in related symbol sequences. Pro...
140
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...