Abstract: Modern symbolic execution techniques face the challenge of handling closed-box (CB) functions (e.g., system calls, library functions) whose source code is unavailable. One interesting ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results