cs136 / seashell

Seashell is an online environment for editing, running, and submitting C programming assignments.
GNU General Public License v3.0
38 stars 19 forks source link

ASAN parser should use random file name for the seashell-asan.* file #847

Closed yc2lee closed 6 years ago

yc2lee commented 6 years ago

Right now, the number after /tmp/seashell-asan. is the pid, which gets recycled, so this can lead to collisions where Seashell tries to create a file that's already owned by another student. Unlikely, but it can and just happened.