tree a45b50958607f6b0f3d410635609fa6cc8bc2044
parent 2090d7a2d26cb9bb0b8738f36a156ed3084a7ab0
author Alastair Donaldson <afdx@google.com> 1560879668 +0100
committer GitHub <noreply@github.com> 1560879668 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJdCSI0CRBK7hj4Ov3rIwAAdHIIAFHZjYBi25BdWFtBEpk+wVBJ
 KsmsP3WhuMVub+2hr7B5vzZpxQZnas3U69OGbaAaYIb3NDVmj9dk82hKz1N/iNTc
 j/za9xYxiR0o3Of4L2/KgjNwooqEXGTkF4JfkNGuFQ6ycTQexgWsb4V4ya7X5PQA
 IXwS2VrOy05ozuMxhdn5Dyw5kDlKyDe5ogQAw2J8E3IJAr+vAS2Mie96Po+HySnQ
 fNUn7p9NbQLfhtQEpLcM+8A6kkQ9mET/E5qy9nkBpj9qrOuOAh9p449FNQyLW3Ob
 wFrqvguC+Mukg1k90wV7+hzsglWCpFcR2GAn5zvt5L3dVEln+5aqFE4hImJ0R5Q=
 =vrYW
 -----END PGP SIGNATURE-----
 

Add fuzzer pass to obfuscate constants. (#2671)

Adds a new transformation that can replace a constant with a uniform known to have the same value, and adds a fuzzer pass that (a) replaces a boolean with a comparison of literals (e.g. replacing "true" with "42 > 24"), and then (b) obfuscates the literals appearing in this comparison by replacing them with identically-valued uniforms, if available.

The fuzzer_replayer test file has also been updated to allow initial facts to be provided, and to do error checking of the status results returned by the fuzzer and replayer components.