MCPcopy Create free account
hub / github.com/FuzzAnything/PromptFuzz / is_file_descriptor

Function is_file_descriptor

src/program/infer/static_infer.rs:487–502  ·  view source on GitHub ↗
(arg: &Node, visitor: &Visitor)

Source from the content-addressed store, hash-verified

485 }
486
487 pub fn is_file_descriptor(arg: &Node, visitor: &Visitor) -> bool {
488 let arg = strip_prefix(arg);
489 let fd_producer = ["open", "fileno", "fuzz_fileno"];
490 if let Clang::CallExpr(ce) = &arg.kind {
491 let name = ce.get_name_as_string(arg);
492 if fd_producer.contains(&name.as_str()) {
493 return true;
494 }
495 }
496 if let Clang::DeclRefExpr(dre) = &arg.kind {
497 if let Some(init) = dre.get_var_init(visitor) {
498 return is_file_descriptor(init, visitor);
499 }
500 }
501 false
502 }
503
504 pub fn is_format_string(arg: &Node, visitor: &Visitor) -> bool {
505 let arg = strip_prefix(arg);

Callers 1

infer_constraintsFunction · 0.85

Calls 3

strip_prefixFunction · 0.85
get_name_as_stringMethod · 0.80
get_var_initMethod · 0.80

Tested by

no test coverage detected