From 20d1f0877ef56866dc7cf48b50f53979d7d76af1 Mon Sep 17 00:00:00 2001
From: Giulio De Pasquale <git@depasquale.giugl.io>
Date: Fri, 17 Feb 2023 09:54:08 -0800
Subject: [PATCH] codeql: Added integer overflow example

---
 codeql/samples/integer_overflow/CMakeLists.txt |  5 +++++
 codeql/samples/integer_overflow/main.c         | 14 ++++++++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 codeql/samples/integer_overflow/CMakeLists.txt
 create mode 100644 codeql/samples/integer_overflow/main.c

diff --git a/codeql/samples/integer_overflow/CMakeLists.txt b/codeql/samples/integer_overflow/CMakeLists.txt
new file mode 100644
index 0000000..42e5dcb
--- /dev/null
+++ b/codeql/samples/integer_overflow/CMakeLists.txt
@@ -0,0 +1,5 @@
+cmake_minimum_required(VERSION 3.10)
+
+project(intof)
+
+add_executable(intof main.c)
diff --git a/codeql/samples/integer_overflow/main.c b/codeql/samples/integer_overflow/main.c
new file mode 100644
index 0000000..f599324
--- /dev/null
+++ b/codeql/samples/integer_overflow/main.c
@@ -0,0 +1,14 @@
+#include <stdio.h>
+#include <stdlib.h>
+
+int sum(int a, int b) { return a + b; }
+
+int main() {
+  int x = 2147483647;
+  int y = 2;
+  int z = x + sum(y, y);
+
+  printf("z = %d\n", z);
+
+  return 0;
+}