Dmitry Petukhov

Results 69 comments of Dmitry Petukhov

Community links - are they in active use?

site.freenode_irc_link should be https

Use actual conditions to designate paths, instead of opcodes with args

Can you share the script that creates these conditions in the report ? I could craft one, but if it already exists, I won't need to spend time on that

Use actual conditions to designate paths, instead of opcodes with args

> It might also be nice if constant conditions were elided; eg I'm seeing: > LESSTHAN(128, 256) @ 137:L36 > reported as the only constraint for some branches, which seems...

Use actual conditions to designate paths, instead of opcodes with args

`When 48

Use actual conditions to designate paths, instead of opcodes with args

> which could in theory be removed: all values expressible with size 1 are less than 128, and the only one that would cause a failure is 0x80 (non-minimal zero),...

Use actual conditions to designate paths, instead of opcodes with args

I am thinking about using branch conditions to show data references. For example, now it is like this: ``` ./bsst-cli 0 lessthan if 5 else 10 endif // =>x add...

Use actual conditions to designate paths, instead of opcodes with args

> z3 isn't working for me I've created an issue for this. It looks like something related to particular package versions, it will require time to investigate. I've ran `bsst-cli...

Use actual conditions to designate paths, instead of opcodes with args

Interesting that the report in the previous message shows ``` ============================== Enforced constraints per path: ============================== All valid paths: ---------------- {*} GREATERTHANOREQUAL(wit0, 0) @ 3:L1 {*} LESSTHAN(wit0, 64) @ 7:L2...

Use actual conditions to designate paths, instead of opcodes with args

> I'm doing the first case, so hiding the impossible things would be good for me right now, but the second case is definitely a real thing too. I would...

Use actual conditions to designate paths, instead of opcodes with args

> but it's only ADD(1000, wit0) conditionally, at other times it's just wit0. Assigning a reference and indicating the reference value is conditional on paths would probably be ideal? I...