From 4de60a709d3af497781b7467f2c6fe7e09b39595 Mon Sep 17 00:00:00 2001 From: Matthew Sotoudeh Date: Sun, 30 Jul 2023 14:38:43 -0700 Subject: basic libdietc for writing passes in C --- c/README.txt | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 c/README.txt (limited to 'c/README.txt') diff --git a/c/README.txt b/c/README.txt new file mode 100644 index 0000000..50450aa --- /dev/null +++ b/c/README.txt @@ -0,0 +1,18 @@ +C library for building dietcc passes + +Example of using a pass: + + The examples/zero_init pass zero-initializes all local variables. + + $ which dietcc + [make sure it's on your path!] + $ cd examples/zero_init + $ make -B + $ ./default + Foo return value: 0 + Foo return value: 32765 + Foo return value: 32765 + $ ./instrumented + Foo return value: 0 + Foo return value: 0 + Foo return value: 0 -- cgit v1.2.3