Theses most similar to A differential approach to undefined behavior detection (Wang, Xi; 2014) read it

Securing software : an evaluation of static source code analyzers

Zitser, Misha, 1979- (2003)

  • Advisor: Lippmann, Richard Paul
  • Department of Electrical Engineering and Computer Science
Read it

Detecting buffer overflows using testcase synthesis and code instrumentation

Zhivich, Michael A (2005)

  • Advisor: Lippmann, Richard Paul
  • Department of Electrical Engineering and Computer Science
Read it

A scalable mixed-level approach to dynamic analysis of C and C++ programs

Guo, Philip Jia (2006)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Compiler optimizations for an asynchronous stream-oriented programming language

Craig, Michael B (2008)

  • Advisor: Madden, Samuel R. (Samuel Ross), 1976-
  • Department of Electrical Engineering and Computer Science
Read it

Detecting and escaping infinite loops using Bolt

Kling, Michael (Michael W.) (2012)

  • Advisor: Martin Rinard
  • Department of Electrical Engineering and Computer Science
Read it

Speculative parallelism in Intel Cilk Plus

Perez, Ruben (Ruben M.) (2012)

  • Advisor: Charles Leiserson
  • Department of Electrical Engineering and Computer Science
Read it

Integer overflow discovery using goal-directed conditional branch enforcement

Rittenhouse, Nathan (Nathan W.) (2014)

  • Advisor: Martin C. Rinard
  • Department of Electrical Engineering and Computer Science
Read it

Analysis of defenses against code reuse attacks on modern and new architectures

Evans, Isaac Noah (2015)

  • Advisors: Hamed Okhrav; Howard Shrobe
  • Department of Electrical Engineering and Computer Science
Read it

Taxi : defeating code reuse attacks with tagged memory

González, Julián Armando (2015)

  • Advisor: Howard E. Shrobe
  • Department of Electrical Engineering and Computer Science
Read it

Evaluating modern defenses against control flow hijacking

Otgonbaatar, Ulziibayar (2015)

  • Advisors: Hamed Okhrav; Howard Shrobe
  • Department of Electrical Engineering and Computer Science
Read it