search

viperproject / viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.
Other
10 stars 17 forks source link

Fixing parameter filtering #187

Closed marcoeilers closed 10 months ago

marcoeilers commented 10 months ago

Turns out the previous code did not account for parameters being passed --like=this instead of --like that, and also used the slice function incorrectly.