Auditable Macros in C Code (opens in new tab)

(cossacklabs.com)

55 pointspraxis238y ago12 comments

12 comments

TL;DR

Let the compiler preprocess a source file by first removing #include lines which contain definitions of macros we don't want to see expanded (expanding only the definitions from the local file or from chosen headers, achieving less cluttered and more readable output). Say we have a file like:

    #include "foo_defs.h"
    #define BAR 42
    FOO;
    BAR;

We filter out the include line and then preprocess the file, getting the following output:

    FOO;
    42;

mattip8y ago

Their technique is specific for their set of includes. It would be great if there was a general way to do the macro expansion in a need-to-know eay that could then be a basis for interop tools such as SWIG or python cffi

sigjuice8y ago

TLDR of why less cluttered preprocessor output matters? I’d say cpp output is usually not that interesting on a daily basis.

bluetomcat8y ago

If I have a file like this:

    #include <stdio.h>
    #include <assert.h>
    #include "mydefs-control.h"
    #include "mydefs-value.h"

    int main(void) {
        assert(1 == 1);
        printf("%d\n", MYDEF_VALUE_MACRO);
        MYDEF_MACRO_WITH_CONTROL_FLOW();
    }

My goal is to produce output which doesn't include thousands of lines from stdio.h and assert.h, doesn't expand assert() or MYDEF_VALUE_MACRO, and only expands MYDEF_MACRO_WITH_CONTROL_FLOW:

    int main(void) {
        assert(1 == 1);
        printf("%d\n", MYDEF_VALUE_MACRO);

        if (1) {
            return 0;
        } else {
            return 1;
        };
    }

According to the author, having only the "interesting" stuff expanded makes it easier to reason about the control flow of the code.

1 more reply

makecheck8y ago

My uses of macros in C++ these days boil down to a few common use cases that are still insanely not handled well by the language:

0. Anything involving file and line number.

1. Generating a string version of something alongside the value of something, without repeating myself.

2. Creating printing macros to keep me from typing out the entire asinine syntax for something like “std::cerr << foo << bar << baz << std::endl” so I only need PRINT(foo << bar << baz). Substituting code fragments is dead simple with a macro and absurdly complex or impossible with other C++ mechanisms. Ironically I’m only doing it because of the poor design of the entire “iostream” stack.

glandium8y ago

Relatedly, with all the clang-based tooling like clang-tidy or clang-format, it's kind of disappointing that there isn't a tool to expand arbitrary macros in a source.

That would have been extremely useful when I was recently refactoring some old C code. I ended up writing a small script that can expand one macro at a time, but I wish I hadn't had to.

I'm sure that script doesn't work in the general case.

Someone8y ago

https://github.com/goldsborough/clang-expand (not perfect because of name conflicts that may occur, but usable)

Can be used in atom: https://atom.io/packages/atom-clang-expand

glandium8y ago

Waw, thanks. I wish I had found this when I googled a couple months ago when I needed it.

iOSGuy8y ago

I try to use ObjC PPC macros for things that are constant for the run of the program, and can be reasoned about globally.

For example, some good ones I use are isLandscape or isIPad, which are both variable depending on the user, but constant for the run of the app. Perfect for a PCH file I think.

j / k navigate · click thread line to collapse

12 comments

bluetomcat8y ago

TL;DR

    #include "foo_defs.h"
    #define BAR 42
    FOO;
    BAR;

We filter out the include line and then preprocess the file, getting the following output:

    FOO;
    42;

mattip8y ago

sigjuice8y ago

TLDR of why less cluttered preprocessor output matters? I’d say cpp output is usually not that interesting on a daily basis.

bluetomcat8y ago

If I have a file like this:

    #include <stdio.h>
    #include <assert.h>
    #include "mydefs-control.h"
    #include "mydefs-value.h"

    int main(void) {
        assert(1 == 1);
        printf("%d\n", MYDEF_VALUE_MACRO);
        MYDEF_MACRO_WITH_CONTROL_FLOW();
    }

My goal is to produce output which doesn't include thousands of lines from stdio.h and assert.h, doesn't expand assert() or MYDEF_VALUE_MACRO, and only expands MYDEF_MACRO_WITH_CONTROL_FLOW:

    int main(void) {
        assert(1 == 1);
        printf("%d\n", MYDEF_VALUE_MACRO);

        if (1) {
            return 0;
        } else {
            return 1;
        };
    }

According to the author, having only the "interesting" stuff expanded makes it easier to reason about the control flow of the code.

1 more reply

makecheck8y ago

My uses of macros in C++ these days boil down to a few common use cases that are still insanely not handled well by the language:

0. Anything involving file and line number.

1. Generating a string version of something alongside the value of something, without repeating myself.

glandium8y ago

Relatedly, with all the clang-based tooling like clang-tidy or clang-format, it's kind of disappointing that there isn't a tool to expand arbitrary macros in a source.

That would have been extremely useful when I was recently refactoring some old C code. I ended up writing a small script that can expand one macro at a time, but I wish I hadn't had to.

I'm sure that script doesn't work in the general case.

Someone8y ago

https://github.com/goldsborough/clang-expand (not perfect because of name conflicts that may occur, but usable)

Can be used in atom: https://atom.io/packages/atom-clang-expand

glandium8y ago

Waw, thanks. I wish I had found this when I googled a couple months ago when I needed it.

iOSGuy8y ago

I try to use ObjC PPC macros for things that are constant for the run of the program, and can be reasoned about globally.

For example, some good ones I use are isLandscape or isIPad, which are both variable depending on the user, but constant for the run of the app. Perfect for a PCH file I think.

j / k navigate · click thread line to collapse