s2e-env icon indicating copy to clipboard operation
s2e-env copied to clipboard
verified publisher icon S2E

Better API documentation

Open MRLEE123456 opened this issue 7 years ago • 2 comments

Can you provide help documentation about the s2e api function? And an introduction to some important data structures.

MRLEE123456 avatar Apr 02 '19 08:04 MRLEE123456

Hi! Documenting the whole thing is a several months full time job :) Could you perhaps break down the issue into smaller bits, e.g., listing the parts by order of importance that you would like to see documented first?

vitalych avatar Apr 02 '19 09:04 vitalych

Thanks! I want to see about the use of s2e struct.For example ,s2e()->getExecutor()->getSymbolicSolution(*state, results)

MRLEE123456 avatar Apr 02 '19 12:04 MRLEE123456