[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [klee/klee] ea2b75: Check for stack overflow in a tested program
From:       Martin Nowack <martin.nowack () gmail ! com>
Date:       2018-11-05 20:09:14
Message-ID: 5be0a36a18100_7c92b2624ffe5905348e () hookshot-fe-32b5f5b ! cp1-iad ! github ! net ! mail
[Download RAW message or body]

Branch: refs/heads/master
  Home:   https://github.com/klee/klee
  Commit: ea2b756666fa60b47efe16510d81c3b29beab4df
      https://github.com/klee/klee/commit/ea2b756666fa60b47efe16510d81c3b29beab4df
  Author: Martin Nowack <martin.nowack@gmail.com>
  Date:   2018-11-05 (Mon, 05 Nov 2018)

  Changed paths:
    M lib/Core/Executor.cpp
    A test/Feature/StackOverflow.c

  Log Message:
  -----------
  Check for stack overflow in a tested program

Check if a state reaches the maximum number of stack frames allowed.
To be performant, the number of stack frames are checked.
In comparison, native execution checks the size of the stack.
Still, this is good enough to find possible stack overflows.

The limit can be changed with `-max-stack-frames`. The current
default is 8192 frames.



      **NOTE:** This service has been marked for deprecation: \
https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.



_______________________________________________
klee-commits mailing list
klee-commits@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-commits


[prev in list] [next in list] [prev in thread] [next in thread]