Enabled sending bug reports for confidential files by adding the ability to obfuscate z3 smtlib files to the SMT-COMP scrambler

[viper-admin]

Created by bitbucket user mschlaipfer on 2019-07-23 03:37
Last updated on 2019-10-14 20:04

Maybe this is interesting to the axiom profiler team.

I have implemented functionality to the SMT-COMP scrambler that allows to obfuscate smtlib files that have z3-specific features. The PR is currently pending here: https://github.com/SMT-COMP/scrambler/pull/2/files
I don’t know if the team behind the scrambler will merge it, though. If not, the fork is on my github profile at https://github.com/mschlaipfer/scrambler/tree/z3-specific.

[viper-admin]

@alexanderjsummers commented on 2019-09-16 10:16

Thank you - this sounds very interesting, indeed! Do you plan to maintain / keep the code there? If so, we could link to it somehow.

[viper-admin]

Bitbucket user mschlaipfer commented on 2019-10-14 20:04

My PR has just been merge into the master of https://github.com/SMT-COMP/scrambler, if you want to link to it.