[Taken] Improving Automatic Bug Detection in JavaScript

Dynamic symbolic execution (DSE) is an effective tool for bug detection in real software.┬áLike unit testing and fuzzing DSE executes portions of a program, exposing bugs through runtime program exceptions. In DSE, some inputs to the program under test are made “symbolic” while the rest are fixed. Whenever the symbolic execution encounters a conditional operation … full description “[Taken] Improving Automatic Bug Detection in JavaScript”

[Taken] Predicting Debug Symbols for Closed Source Binaries

Reverse engineering binaries, whether malicious or benign, is made more difficult by the absence of debug information. Variables and functions have had their identifiers “stripped”, so reverse engineers have to manually name them during analysis based on human understanding of the code functionality. The goal of this project is to use machine learning to predict … full description “[Taken] Predicting Debug Symbols for Closed Source Binaries”

[Taken] REST API and web frontend for a JavaScript symbolic testing framework

ExpoSE.js is a symbolic testing framework being developed at Royal Holloway designed to assist developers in improving the security and reliability of JavaScript applications, a language for which traditional software testing solutions have failed to produce satisfactory results. Symbolic execution is a technique which allows for the systematic enumeration of feasible paths of a program. … full description “[Taken] REST API and web frontend for a JavaScript symbolic testing framework”

[Taken] Smart IDE for Cascading Style Sheets in Web Development

You will construct an experimental IDE to aid programmers in writing Cascading Style Sheets (CSS) for web applications. Style sheets dictate how a web page appears, and consist of a series of rules which are applied to elements of the web page. Determining exactly which rule should be applied to which element is not entirely … full description “[Taken] Smart IDE for Cascading Style Sheets in Web Development”

[Taken] Working on computer mediated artwork with the Tate Gallery

The Tate Gallery owns a set of major artworks which are computer mediated; that is they employ computers to manage interaction with gallery visitors in a variety of often technically challenging ways. We are working with the conservators at the Tate to document these systems and to think about managing their future in the long … full description “[Taken] Working on computer mediated artwork with the Tate Gallery”