![]() |
![]()
| ![]() |
![]()
NAMEcrangler - C source transformation SYNOPSIScrangler [-?] [-h] [--help] crangler file.json DESCRIPTIONcrangler is a command-line utility that makes changes to a preprocessed C file that are prescribed in a JSON configuration file. The supported transformations are:
The resulting source file is written to standard output or to a file specified in the JSON configuration. EXAMPLEThe following JSON configuration file makes crangler preprocess remove_static1.c. While processing this file to produce a preprocessed result, no non-standard include paths or defines reqired. Transformations configured here are removing the static storage classifier from all functions matching the regular expression foobar[12], and replacing calls to bar by calls to a function called bar_stub. No objects are listed that require transformation. The result is written to standard output. { ENVIRONMENTAll tools honor the TMPDIR environment variable when generating temporary files and directories. BUGSIf you encounter a problem please create an issue at https://github.com/diffblue/cbmc/issues COPYRIGHT2021, Daniel Kroening
|