Initial notes on path exploration
Some more planning
Merge remote-tracking branch 'origin/master' into feature-path-exploration
New structure...
Some infrastructure for the main concolic analysis controller.

Added an option to enable this, and a controller that retrieves and displays a dummy list of potential entry points.
Began working on concolic execution runtime.
Restructured concolic runtime to be another top-level runtime.
Complete skeleton implementation of the manual mode with concolic information.
Basic entry point detection.
First step towards GUI demo mode.
Started implementation of trace node visitors and a printing visitor to test it.
Partly fixed issues with trace visitors (see below).

However, this required me to replace the smart pointers with standard pointers in the visit() methods. When smart pointers are used, the node objects are destroyed once the smart pointer is no longer referenced (which is not what we want).

Is there a more robust way to pass a smart pointer to 'this' from the nodes' accept() methods?
Maybe this could be done with QSharedDataPointers, I have not worked out yet if that would be useful.

There may also be a similar problem with the smart pointers pointing to the visitor objects themselves, as these will be created and passed to accept() in the visit() methods once we implement some visitor which actually traverses the structure. If these pointers cause the visitors to be destroyed then we will be in trouble again.

Short of switching everything back to standard pointers, I'm not sure what exactly to do about this.
Crude GUI mode working.
Started filling out demo mode window.
Concolic info in demo mode

Moved the skeleton concolic info support from manual mode to demo mode.
Added the entry point finding to a list view in the GUI and some interaction between this and the page.
Fixed pointers in trace visitors
Implemented a real trace printing visitor.
Merged demo and manual modes.
Almost got simplest example trace recording working.

Completed a very simple classifier
Completed a very simple trace recorder but haven't got the detectors working yet.
Added some missing headers.