rw_set.cpp File Reference

#include "rw_set.h"
#include <util/pointer_expr.h>
#include <util/std_code.h>
#include <langapi/language_util.h>
#include <pointer-analysis/goto_program_dereference.h>

Include dependency graph for rw_set.cpp:

Go to the source code of this file.

Detailed Description

Race Detection for Threaded Goto Programs

Definition in file rw_set.cpp.