trailofbits/manticore

added warning and error to sys_arch_prctl
#1319

sharon-lin wants to merge sharon-arch_prctl into master

Compare on GitHub

We do not currently have an analysis of these two commits