Predicate allocateDescriptorCall
A call to the Unix system function socket(2).
Import path
import semmle.code.cpp.pointsto.PointsTopredicate allocateDescriptorCall(FunctionCall fc)A call to the Unix system function socket(2).
import semmle.code.cpp.pointsto.PointsTopredicate allocateDescriptorCall(FunctionCall fc)