Browsing Master's Theses by Subject "Computer softwares"
Now showing items 1-1 of 1
-
Extending static analysis with application-specific rules by analyzing runtime execution traces
(2016-07)Static code analysis tools can generate alerts regarding only generic issues such as uninitialized variables. They cannot detect violations of application-speci c rules. Tools can be extended with specialized checkers that ...
Share this page