Dashboard - Update xel and partially fix electron api

ExpoSEJS / ExpoSE

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

MIT License

183 stars 36 forks source link

Dashboard - Update xel and partially fix electron api #103

Closed kumavis closed 3 years ago

kumavis commented 3 years ago

tried to take the dashboard for a spin but it seems broken

took some steps to fix it but ultimately don't know what its supposed to do or what sort of file its supposed to be able to import

Fixes #102

kumavis commented 3 years ago

what type of file should i be able to load? the jalangi json? la ../tests/numbers/infoflow_jalangi_.json

kumavis commented 3 years ago

The current state of the PR is that it now correctly loads the ui, however the Analyze and Load buttons are still broken, as I don't know what kind of data they are supposed to consume

jawline commented 3 years ago

Analyze takes a js file, and load takes the output from save (essentially this is a log of analysis, I'm not sure if it will still work though).

The UI component of the tool hasn't been looked at in a long time, I built it because I thought the coverage graph generation would be more useful but haven't notably used it since 2018 so it's bound to be super out of date

kumavis commented 3 years ago

@jawline seems to work now

jawline commented 3 years ago

Oh wow this is a lot of work, thanks for putting the time in.