Predicate PointsTo::allocateDescriptorCall

A call to the Unix system function socket(2).

predicate allocateDescriptorCall(FunctionCall fc)