sdfg::analysis::EscapeDetailsPolicy Concept Reference

A more detailed variant of EscapePolicy that aims to distinguish between different types of pointer escapes and over-declare less. More...

#include <sdfg/analysis/pointer_analyzers.h>

Concept definition

template<typename P>
concept sdfg::analysis::EscapeDetailsPolicy =  EscapePolicy<P> && requires(
                                                     P& p,
                                                     const std::string& container,
                                                     const ControlFlowNode* node,
                                                     const data_flow::LibraryNode& lib_node,
                                                     const structured_control_flow::Return& return_node,
                                                     const data_flow::PointerAccessType& access_type
                                                 ) {
    p.on_ptr_input_into_lib_node(container, node, lib_node, access_type);
    p.on_ptr_returned(container, return_node);
    
    
}

Detailed Description

A more detailed variant of EscapePolicy that aims to distinguish between different types of pointer escapes and over-declare less.

Currently still very conservative for pointers used in symbolic expressions (iteration over a pointer range would not be an actual escape, but will currently be found as one)