CBMC
name_mangler.h File Reference

Mangle names of file-local functions to make them unique. More...

#include <util/message.h>
#include <util/rename_symbol.h>
#include "goto_model.h"
#include <regex>
#include <vector>
+ Include dependency graph for name_mangler.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  function_name_manglert< MangleFun >
 Mangles the names in an entire program and its symbol table. More...
 
class  file_name_manglert
 Mangle identifiers by including their filename. More...
 
class  djb_manglert
 Mangle identifiers by hashing their working directory with djb2 hash. More...
 

Macros

#define FILE_LOCAL_PREFIX   CPROVER_PREFIX "file_local_"
 

Detailed Description

Mangle names of file-local functions to make them unique.

Author
Kareem Khazem karkh.nosp@m.az@k.nosp@m.arkha.nosp@m.z.co.nosp@m.m

Definition in file name_mangler.h.

Macro Definition Documentation

◆ FILE_LOCAL_PREFIX

#define FILE_LOCAL_PREFIX   CPROVER_PREFIX "file_local_"

Definition at line 16 of file name_mangler.h.