this is for holding javascript data
Steven Evans added To_determine_where_pledge_calls__.tex
about 8 years ago
Commit id: a7189528f7211adaa5dc4864f59e4ea15289b72d
deletions | additions
diff --git a/To_determine_where_pledge_calls__.tex b/To_determine_where_pledge_calls__.tex
new file mode 100644
index 0000000..0087516
--- /dev/null
+++ b/To_determine_where_pledge_calls__.tex
...
To determine where pledge calls can be inserted into the program shown in Figure 1, knowledge of function _f_ calling function _g_ and them both calling system call 2 is required. That knowledge would allow the determination that a pledge on system call 2 can only occur at the end of the second basic block in _f_ instead of after _g_ is called.
To make that determination, the
