Federico Mora Rocha comments

Results 9 comments of


                                            Federico Mora Rocha

Generate BMC style functional equivalence checking queries

This was useful for an experiment I ran. It is no longer useful. We can delete.

Banditfuzz Branch Crashs. Three different inputs/error logs

Fix to Error 1 pushed to "bandit" branch. Pull it down and let me know. Errors 2 and 3 seem to be parser issues.

Banditfuzz Branch Crashs. Three different inputs/error logs

Error 2 is because "

Banditfuzz Branch Crashs. Three different inputs/error logs

Fair. Fixed.

Banditfuzz Branch Crashs. Three different inputs/error logs

Woah software engineering sensei teach me. I'm very keen for a way to write plugins that's independent (also for another project I'm working on). What's the best way to do...

Banditfuzz Branch Crashs. Three different inputs/error logs

I like 1/2 a lot. Handling the subparsers might be tricky though. I guess the plugin will have to define this stuff somewhere too. Maybe having the user provide a...

Random-ast has option to create random word equations

That's totally fair. I see it as a random AST with a restriction on the grammar. It's interesting to think about how the grammar (even the default one) affects "randomness"....

Random-ast has option to create random word equations

Haven't gotten around to making the separate word equation generator. It may be less useful than I initially expected it to be. I would be OK with deleting this pull...

Bandit Issue #3

I believe #43 #42 and #41 are all the same issue, and that they are fixed by the most recent commit (https://github.com/dblotsky/stringfuzz/commit/9fb9140862f6427a3636c4f60d84cea11004357c)