Stories
Slash Boxes
Comments

SoylentNews is people

posted by martyb on Saturday December 02 2017, @01:48PM   Printer-friendly
from the see-what-we-did-there? dept.

https://www.cossacklabs.com/blog/macros-in-crypto-c-code.html

Like death and taxes, one thing that you can be sure of is that using C macros in a modern software project will cause a debate. While for some macros remain a convenient and efficient way of achieving particular programming goals, for others they are opaque, introduce the unnecessary risk of coding errors, and reduce readability.

The criticism of macros is particularly acute in the wider security community. Among Cossack Labs' engineers and the core Themis crypto library contributors there are people who previously worked on auditing cryptographic implementations of critical code. Their typical knee-jerk reaction to macros was always "kill it with fire and never use it again". Taking no sides, we would like to assess both pros and cons of using such dangerous things as macros in security code (as we faced the issue when developing Themis) and suggest some techniques for lowering the accompanying risks.

We'll also discuss a custom "for-audit" build target for Themis designed specifically to generate source code that exposes the macros to inspection because we appreciate the need for security software to be subject to detailed source code scrutiny.


Original Submission

 
This discussion has been archived. No new comments can be posted.
Display Options Threshold/Breakthrough Mark All as Read Mark All as Unread
The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
  • (Score: 3, Insightful) by c0lo on Saturday December 02 2017, @02:35PM (5 children)

    by c0lo (156) Subscriber Badge on Saturday December 02 2017, @02:35PM (#604280) Journal

    unless they expand the macro in a comment above each use.

    You mean `(g)cc -E` ? Yeah, that's a hard one.

    --
    https://www.youtube.com/watch?v=aoFiw2jMy-0 https://soylentnews.org/~MichaelDavidCrawford
    Starting Score:    1  point
    Moderation   +1  
       Insightful=1, Total=1
    Extra 'Insightful' Modifier   0  
    Karma-Bonus Modifier   +1  

    Total Score:   3  
  • (Score: 2) by The Mighty Buzzard on Saturday December 02 2017, @02:53PM (4 children)

    by The Mighty Buzzard (18) Subscriber Badge <themightybuzzard@proton.me> on Saturday December 02 2017, @02:53PM (#604289) Homepage Journal

    Which means you have to have two copies of every file you're working on open and remember not to type in the one you can read? Yeah, that's a real winner of an option.

    No, man, there is no good argument for decreasing readability of production code to save one person some time. Not with 1337 perl that only you can read and not with C macros.

    --
    My rights don't end where your fear begins.
    • (Score: 5, Insightful) by tonyPick on Saturday December 02 2017, @03:37PM (3 children)

      by tonyPick (1237) on Saturday December 02 2017, @03:37PM (#604299) Homepage Journal

      Anyone using macros in production code should be killed to death unless they expand the macro in a comment above each use.

      Counter-examples: debug macros wrappering logging, handling vestigial compiler warnings while using -Wall/-Werror, crossplatform/multiplatform system code substitutions....

      No, man, there is no good argument for decreasing readability of production code to save one person some time.

      I'd argue overly verbose commenting, like "expand the macro in a comment" does more to reduce readability, and clean/hygenic/referentially transparent macro implementations can improve it.

      (On the other hand there's a special circle of hell reserved for people who write macro code that doesn't behave like that, and a lower one for people who make macros that don't *very* *obviously* look like Macros at first glance.)

      • (Score: 2) by Pino P on Saturday December 02 2017, @11:49PM

        by Pino P (4721) on Saturday December 02 2017, @11:49PM (#604465) Journal

        debug macros wrappering logging

        This sounds similar to aspect-oriented programming.

        crossplatform/multiplatform system code substitutions

        Let me predict the anti-macro hardliners' likely response, based on what I've picked up in discussions on this site and others like this about web applications:

        Anything that can vary from one platform to another ought to be in a separate file or separate set of files, one for each platform. That way, instead of #ifdef MACOS, you get macos.c. You end up with a driver for each platform that implements a common interface to the platform-independent parts of the program. For things like common data types used by the platform-independent parts, you can use typedef instead of macros.

        Or better yet, if there's a business case to make your client application available to users of multiple platforms, there's probably a business case to give the same client spec to separate programming teams, each specializing in a different client platform, so that each platform can get a client application that ideally plays to the strengths and user expectations of each platform. For example, the Mac and iOS versions can take advantage of Core Data."

      • (Score: 2) by coolgopher on Sunday December 03 2017, @12:28AM

        by coolgopher (1157) on Sunday December 03 2017, @12:28AM (#604480)

        Amen.

        Add to that another really common one, being rounds of cryptographic operations.

        Macros *increase* readability when used properly.

      • (Score: 2) by The Mighty Buzzard on Sunday December 03 2017, @02:24AM

        by The Mighty Buzzard (18) Subscriber Badge <themightybuzzard@proton.me> on Sunday December 03 2017, @02:24AM (#604524) Homepage Journal

        You're entitled to your opinion. I just hope I never have to come behind and fix any of your code.

        I'd argue overly verbose commenting, like "expand the macro in a comment" does more to reduce readability...

        Yeah, that would only be a problem if you can't read the code well. If you understand what you're looking at, seeing the actual code adds clarity instead of removes it. If you don't, you need to step back from the keyboard and hand the project off to someone who does.

        --
        My rights don't end where your fear begins.