From 420ea29fc4665347b3ae1d6cbaf1228633a3ed7f Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 13 Sep 2006 06:20:44 +0000 Subject: [PATCH] - Note on nested functions. --- src/todo.txt | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/todo.txt b/src/todo.txt index 788d890..1c82a08 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,13 @@ +- Nested functions should be avoided: their implementation requires an + executable stack, which is bad for security purposes. However, many of + the iterator functions need to pass a function and possibly some + variables. Currently, the variables are handled by the nested function + mechanism (the iterated nested function and address variables of the + function it is part of), which would not work anymore. A possible + solution seems variable argument count functions, but this is fairly + cumbersome and might impact on performance. Alternatively, iterators + can be implemented as macros, which is probably the fastest, but maybe + less readable. - I've started on sanitizing the --max-attacks switch. It now prunes as a bound, but it also needs to limit per-claim, I guess. - There is something weird when automatically generating claim labels