Ben Spencer

Input fields with no type attribute do not seem to produce symbolic values in the concolic modes. e.g. taking the value from `` does not give a symbolic value, even...

The very last constraint file in a test is not (always?) copied into `/tmp/constraints/`, which can make debugging after the fact confusing.

Example: https://angularspree.firebaseapp.com/ Pages just shows "Loading..." and never progresses, in both manual and server modes. The "readystatechange" event is being dropped in qwebexecutionlistener: [see here](https://github.com/cs-au-dk/Artemis/blob/589e2b77aaa45a15ad52f8837783a860183e80d4/WebKit/Source/WebKit/qt/Api/qwebexecutionlistener.cpp#L84).

`mockentrypointdetector.cpp` includes special-case entry-point finding for certain known sites. This is no longer used and will now be out of date. It should be removed.

Enable AJAX callbacks in concolic mode.

1

2c3039cbdc adds synchronised AJAX callbacks to the manual and server modes. This would probably be useful for concolic mode as well. At the moment I think concolic mode captures all...

Strings are escaped differently in different parts of the constraint writer.

1

In the example `select-dynamic-form-updates`, we have the following pieces in the same constraint file: ``` ... (declare-const SYMQQQINQQQcountry String) (assert (or (= SYMQQQINQQQcountry "?") ... ) ) (assert (= (=...

Unable to match XPath entry-points on certain sites.

2

For example, on http://www.hallsgb.com/ DIADEM returns the following entry-points: `id('cppd')/form[1]/div[@class='col-right'][1]/input[1]` and `id('submit298528')` - Testing these in Firefox/Firepath shows them as expected. - In manual mode Artemis cannot find them. -...

Add warning when symbolic info is lost in the interpreter.

2

Some operations and combinations of parameter types are not supported in the symbolic interpreter, so the result of these operations on symbolic inputs is still concrete (#119 is an example)....

Using the `--dump-models` option instead of calling `(get-model)` would allow us to remove some of the tricky cases in the solution reading code where we currently can't distinguish an error...

We call `QWebView->resize()` to bring buttons into view in the concolic runtime (maybe other places as well?). This does not seem to take effect until the QWebView is shown (which...