313
edits
Exceptions: Difference between revisions
Jump to navigation
Jump to search
coding tasks
(ignored nsresults) |
(coding tasks) |
||
| Line 62: | Line 62: | ||
For these tasks, we need a full automatic rewriting system, with a pattern detection component and a patch generation component. The example patterns given here can be detected by looking at ASTs, so [[Dehydra GCC]] would be a great tool to use for detecting them. Once we have the list of patterns (say, as line numbers where the if statements start), we can work on an Elsa-based patch generator. | For these tasks, we need a full automatic rewriting system, with a pattern detection component and a patch generation component. The example patterns given here can be detected by looking at ASTs, so [[Dehydra GCC]] would be a great tool to use for detecting them. Once we have the list of patterns (say, as line numbers where the if statements start), we can work on an Elsa-based patch generator. | ||
Coding Task 1: Dehydra GCC script to detect null pointer checks for allocated memory. | |||
Coding Task 2: Dehydra GCC script to detect explicit tests for NS_OUT_OF_MEMORY return value. | |||
= Removing NS_SUCCEEDED = | = Removing NS_SUCCEEDED = | ||