s2e-env
s2e-env copied to clipboard
Better API documentation
Can you provide help documentation about the s2e api function? And an introduction to some important data structures.
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?
Thanks! I want to see about the use of s2e struct.For example ,s2e()->getExecutor()->getSymbolicSolution(*state, results)