ENGLISH / MAGYAR
Kövess
minket

Detecting Trigger-Based Behavior in C Code

2016-2017/II.
Dr. Futóné Dr. Papp Dorottya

Trigger-based behavior is a hidden functionality in programs which is executed only when the program receives very specific inputs. The specific input (trigger) may be a password, the system date and time, and even the ports used for a successful portknocking can be thought of as a trigger. Symbolic execution of the source code is a promising method to automate detection, but it is resource-exhaustive. Current tools for symbolic execution require a human analyst to mark parts of the code for symbolic execution by manually instrumenting said source.

The task of the student is to further aid the automatization of this process by designing and implementing a preprocessing system which is capable of 1) detecting potential triggers in the source code and 2) instrumenting the source in such a way that the symbolic execution focuses on the potential triggers.


1
0