diff options
author | Andres Notzli <andres.noetzli@gmail.com> | 2017-03-26 23:39:07 +0200 |
---|---|---|
committer | Andres Notzli <andres.noetzli@gmail.com> | 2017-04-05 07:45:40 -0700 |
commit | 90076eaba27567f7641751a65f0f784ffca317c4 (patch) | |
tree | 7beda4cc71f18d12d402682605d3f715f260321c /configure.ac | |
parent | c77213eaf165746a3704204ce56915b86c5f2a7a (diff) |
[LFSC] Fix segfault
LFSC did not detect when the number of arguments provided to a side
condition did not match the expected number of arguments, which could
lead to out-of-bounds reads and writes. This commit adds a check and
fixes one of the proof rules that provided the wrong number of
arguments.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions