| Subject | may be interesting fo multiplatform coding |
|---|---|
| Author | Alexander Rabtchevich |
| Post date | 2002-03-17T16:54:37Z |
Cutted from Mozilla developers weekly report:
"Read paper on Meta Compilation (MC) titled "Checking System Rules using System-Specific Programmer-Written Compiler Extensions" (see http://www.stanford.edu/~engler/mc-osdi.ps). The paper talked about using MC to write compiler extensions that automatically checked their code for rule violations. The MC approach was used on Linux, OpenBSD, and two other real world systems and found roughly 500 errors which led to numerous
kernel patches. It might be interesting to apply this idea to the Mozilla codebase and check for leak errors and other violations of "higher level" rules that incorporate Mozilla-codebase-specific semantics."
With respect
Alexander Rabtchevich
"Read paper on Meta Compilation (MC) titled "Checking System Rules using System-Specific Programmer-Written Compiler Extensions" (see http://www.stanford.edu/~engler/mc-osdi.ps). The paper talked about using MC to write compiler extensions that automatically checked their code for rule violations. The MC approach was used on Linux, OpenBSD, and two other real world systems and found roughly 500 errors which led to numerous
kernel patches. It might be interesting to apply this idea to the Mozilla codebase and check for leak errors and other violations of "higher level" rules that incorporate Mozilla-codebase-specific semantics."
With respect
Alexander Rabtchevich