NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 3 of 3 for “"static checker"”.

  1. A differential approach to undefined behavior detection

    Wang, Xi, Ph. D. Massachusetts Institute of TechnologyMassachusetts Institute of Technology2014

    … Using this approach, we introduce a new static checker called STACK that precisely identifies undefined behavior bugs. Applying STACK to widely used systems has uncovered 161 new bugs that have been confirmed and fixed by developers.

    mit Repository record

  2. Mostly-static decentralized information flow control

    Myers, Andrew C. (Andrew Clifford)Massachusetts Institute of Technology1999

    … model permits programs using it to be checked statically, which is important for the precise detection of information leaks. This thesis also presents the new language J flow, an extension to the Java programming language that incorporates the decentralized label model and permits static …

    mit Repository record

  3. A Language-Independent Static Checking System for Coding Conventions

    Mount, SarahUniversity of Wolverhampton2013

    … To address these issues, this thesis describes Exstatic, a novel framework for the static detection of coding standards violations. Unlike many other static checkers Exstatic can be used to examine code in a variety of languages, including program code, in-line documentation, markup languages and …

    wlv Repository record