Skip to content

fix potential non-zero termination of a string buffer - #2147

Merged
kroening merged 2 commits into
developfrom
fix-tempdir-buffer-overflow
May 3, 2018
Merged

fix potential non-zero termination of a string buffer#2147
kroening merged 2 commits into
developfrom
fix-tempdir-buffer-overflow

simplify use of get_temporary_directory

9609a52
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs