소스 검색

add root README.md

master
nitowa 1 년 전
부모
커밋
c903bfdf8e
1개의 변경된 파일8개의 추가작업 그리고 0개의 파일을 삭제
  1. 8
    0
      README.md

+ 8
- 0
README.md 파일 보기

@@ -0,0 +1,8 @@
1
+# TODO
2
+- 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.
3
+- Describe the consequences if the weakness is exploited.
4
+- Collect vulnerable contracts used by the papers to motivate/illustrate the weakness.
5
+- Summarize the code properties that tools are looking for so that they can detect the weakness.
6
+- Sketch ways to potentially exploit the different variants of the weakness.
7
+
8
+

Loading…
취소
저장