diff --git a/.gitignore b/.gitignore
index 3df573fe623699c4038ba9501388748f93485913..757c3db0c133375da08eb4b55ed52d99584c371f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,15 @@
-/Debug/
+*.swo
+*.o
+*.bc
+*.log
+*.swp
+*.elf
+*.hex
+objects
+klee-*
+tags
+docs
+.ropeproject
+.gdb_history
+code-samples
+klee_profiling.db