From 9dd2c3db84d124be16b6e1ecedc08680bfe5e9fa Mon Sep 17 00:00:00 2001
From: pe3zx <pe3zx@users.noreply.github.com>
Date: Thu, 13 Dec 2018 16:01:24 +0700
Subject: [PATCH] [Tools][Binary Analysis] NASA-SW-VnV/ikos

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index 111e7ec..2d4c56c 100644
--- a/README.md
+++ b/README.md
@@ -1071,6 +1071,10 @@ _return-to-libc techniques_
         <td><a href="https://github.com/mxmssh/drltrace">mxmssh/drltrace</a></td>
         <td><Drltrace is a library calls tracer for Windows and Linux applications/td>
     </tr>
+    <tr>
+        <td><a href="https://github.com/NASA-SW-VnV/ikos">NASA-SW-VnV/ikos</a></td>
+        <td>IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation</td>
+    </tr>
     <tr>
         <td><a href="https://github.com/pierrezurek/Signsrch">pierrezurek/Signsrch</a></td>
         <td>tool for searching signatures inside files, extremely useful in reversing engineering for figuring or having an initial idea of what encryption/compression algorithm is used for a proprietary protocol or file. it can recognize tons of compression, multimedia and encryption algorithms and many other things like known strings and anti-debugging code which can be also manually added since it's all based on a text signature file read at runtime and easy to modify.</td>