search

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization
BSD 3-Clause "New" or "Revised" License
26 stars 10 forks source link

Minor issue with redirection in the specialized binary (with configuration priming): curl #53

Closed mudbri closed 2 years ago

mudbri commented 3 years ago

When curl is specialized with configuration priming, it results in a working binary. However, when the the output of the binary is redirected to a file, a segmentation fault occurs. This fault does not occur when configuration priming is not turned on. Files to reproduce the issue can be found here. The issue can be reproduced in the following steps:

  1. cd curl
  2. make (This might require installing openssl-1.0.2 using bash install_dependencies.sh)
  3. bash build.sh --enable-config-prime
  4. ./curl_occamized_stripped https://www.sri.com > t_out

This will result in a segmentation fault. However, when "> t_out" is removed, we get the expected output. If the --enable-config-prime flag is not used, there are no issues with redirection. This can be confirmed by running the test: make test

caballa commented 3 years ago

The reason for the crash is explained in issue #54

caballa commented 2 years ago

Fixed in commit a34876418efcc2d5f7f92cd44520a8001ca4117e

mudbri commented 2 years ago

I am still encountering a segmentation fault when I redirect the output of the specialized binary (e.g. ./curl_occamized_stripped https://www.sri.com > t_out)

caballa commented 2 years ago

I couldn't reproduce the error and Ashish either so I close again this issue.