Here is a list of all files with brief descriptions:

[detail level 123]

src
ast_traverser
ast_traverser.h
path_checker.cpp
path_checker.h
traverser.cpp
traverser.h
instrumentation
dyn_analysis_instr.cpp
dyn_analysis_instr.h
helper.cpp
helper.h
instrumentation.h
ooo_instrumentation.cpp
ooo_instrumentation.h
internal_representation
class.cpp
class.h
cthread.cpp
cthread.h
definition.cpp
definition.h
design.cpp
design.h
dynamic_internal_representation.cpp
dynamic_internal_representation.h
dynamic_path_instance_mapper.cpp
dynamic_path_instance_mapper.h
event.cpp
event.h
event_and_list.cpp
event_and_list.h
event_or_list.cpp
event_or_list.h
function.cpp
function.h
hierarchical_channel.cpp
hierarchical_channel.h
hierarchical_channel_instance.cpp
hierarchical_channel_instance.h
initiatorsocket.cpp
initiatorsocket.h
inoutport.cpp
inoutport.h
inport.cpp
inport.h
instance.cpp
instance.h
instance_tree.cpp
instance_tree.h
interface.cpp
interface.h
internal_representation.h
internal_representation_helper.cpp
internal_representation_helper.h
mapping_info.cpp
mapping_info.h
method.cpp
method.h
module.cpp
module.h
module_instance.cpp
module_instance.h
object.cpp
object.h
outport.cpp
outport.h
path_instance_mapper.cpp
path_instance_mapper.h
port.cpp
port.h
port_mapping.cpp
port_mapping.h
primitive_channel.cpp
primitive_channel.h
primitive_channel_instance.cpp
primitive_channel_instance.h
socket.cpp
socket.h
static_path_instance_mapper.cpp
static_path_instance_mapper.h
targetsocket.cpp
targetsocket.h
thread.cpp
thread.h
variable.cpp
variable.h
segment_graph
cached_function_ast_attributes.cpp
cached_function_ast_attributes.h
combined_data_conflict_table.cpp
combined_data_conflict_table.h
conflict_table.cpp
conflict_table.h
data_conflict_ast_attributes.cpp
data_conflict_ast_attributes.h
data_conflict_table.cpp
data_conflict_table.h
edge.cpp
edge.h
edge_property_writer.cpp
edge_property_writer.h
event_conflict_table.cpp
event_conflict_table.h
event_edge.cpp
event_edge.h
function_annotation.cpp
function_annotation.h
function_annotation_attributes.cpp
function_annotation_attributes.h
generic_payload_attributes.cpp
generic_payload_attributes.h
graph_helper.cpp
graph_helper.h
graph_property_writer.cpp
graph_property_writer.h
mapped_variable.cpp
mapped_variable.h
port_call_attribute.cpp
port_call_attribute.h
port_call_path.cpp
port_call_path.h
prediction_event_notification_table.cpp
prediction_event_notification_table.h
prediction_time_advance_table.cpp
prediction_time_advance_table.h
reference_attributes.cpp
reference_attributes.h
segment.cpp
segment.h
segment_graph.cpp
segment_graph.h
sg.h
time.cpp
time.h
time_advance_table.cpp
time_advance_table.h
vertex_property_writer.cpp
vertex_property_writer.h
static_analysis
cthread_analyzer.cpp
cthread_analyzer.h
graph_algorithms.cpp
graph_algorithms.h
read_write_analysis.cpp
read_write_analysis.h
static_analysis.h
tools
ast_attribute_color.cpp
ast_attribute_color.h
c_definitions.cpp
c_definitions.h
class_is_derived_from.cpp
class_is_derived_from.h
command_line_parsing.cpp
command_line_parsing.h
file_classifier.cpp
file_classifier.h
function_helper.cpp
function_helper.h
misc.cpp
misc.h
rose_nodes.cpp
rose_nodes.h
search_node_in_namespace.cpp
search_node_in_namespace.h
systemc_definitions.cpp
systemc_definitions.h
tools.h
variable_helper.cpp
variable_helper.h
macros.h
risc.h