From c903bfdf8ec6659269d56e091c5b8e062824d6d0 Mon Sep 17 00:00:00 2001 From: nitowa Date: Wed, 18 Oct 2023 16:47:25 +0200 Subject: [PATCH] add root README.md --- README.md | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..a4b5b70 --- /dev/null +++ b/README.md @@ -0,0 +1,8 @@ +# TODO +- Describe the various forms it may take and construct minimal sample contracts for each variant. Also describe variants that look similar but are not a weakness, and construct minimal contracts for these non-weaknesses. +- Describe the consequences if the weakness is exploited. +- Collect vulnerable contracts used by the papers to motivate/illustrate the weakness. +- Summarize the code properties that tools are looking for so that they can detect the weakness. +- Sketch ways to potentially exploit the different variants of the weakness. + +