search

trailofbits / manticore

Symbolic execution tool
https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
GNU Affero General Public License v3.0
3.66k stars 470 forks source link

Add syscall implementation for `sys_newfstatat` #2545

Closed lordidiot closed 2 years ago

lordidiot commented 2 years ago

Almost correct concrete implementation for sys_newfstatat. I believe it should be accurate enough for most common usages.

Currently lacking full support for some of the flags the syscall supports