 nnosov
|
657ddf182b
|
Implement range of memory access validation instead of pointer and use
it. Export new validator to users.
Various small fixes
|
2020-05-06 11:49:22 +04:00 |
|
|
nnosov
|
a0475eeda7
|
make visible to user libunwind function's context, SP register and CFA
|
2020-04-16 20:54:53 +04:00 |
|
|
nnosov
|
3317cd212b
|
exprt next_function, next_parameter function_info, parameter_info to
external interface of the library
|
2020-04-05 14:59:41 +04:00 |
|
|
nnosov
|
cdacdce8e5
|
fix compilation errors related to C specifics
|
2020-02-05 16:14:52 +04:00 |
|