Dmitry Blotsky comments

Results 19 comments of


                                            Dmitry Blotsky

Generate BMC style functional equivalence checking queries

@FedericoAureliano heyoo, is this PR still relevant?

Different between mimic's `class` and `style` fields?

Is it really that slow to switch files and change a value? Surely, it's not worth to reacquire the _massive_ maintainability cost that classes removed in the first place.

Banditfuzz Branch Crashs. Three different inputs/error logs

@FedericoAureliano heyoo, what do you think of merging banditfuzz into trunk, so you don't have to work on a branch? :) Also, are there ways I can make it easier...

Banditfuzz Branch Crashs. Three different inputs/error logs

@FedericoAureliano Heh, I'm far from a sensei. I'm barely passable! The methods I'm considering: 1. Pass a `--plugin path/to/plugin.py` flag, and `import` the file at the path. 2. Pass a...

Random-ast has option to create random word equations

I think this goes against the spirit of a "random AST" generator. It would now produce a "somewhat random" AST. What do you think about instead creating a `word-equation` generator,...

Random-ast has option to create random word equations

@FedericoAureliano you're completely right, the "randomness" is a debatable topic, since it's affected by so many factors (e.g. frequency of string arguments in definitions).

Random-ast has option to create random word equations

Please close the PR if you end up making a new generator instead.

Random-ast has option to create random word equations

@FedericoAureliano heyoo, is this PR still relevant?

./bin/stringfuzzg not work without installing

It is designed to work after installing only, sorry. Do you have a limitation that prevents you from installing the package?