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

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

Open viper-admin opened this issue 5 years ago • 2 comments

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.

Jul 23 '19 03:07 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.

Sep 16 '19 10:09 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.

Oct 14 '19 20:10 viper-admin