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

Method create_object_for_call

src/analysis/dfa.rs:735–744  ·  view source on GitHub ↗
(&mut self, call: &ast::Node)

Source from the content-addressed store, hash-verified

733 }
734
735 pub fn create_object_for_call(&mut self, call: &ast::Node) -> Result<Symbol<T>> {
736 if let ast::Clang::CallExpr(ce) = &call.kind {
737 let ty = ce.get_type();
738 let state = ObjectState::Call;
739 let ctx = self.get_current_ctx();
740 let symbol = Symbol::new(ty, state, ctx);
741 return Ok(symbol);
742 }
743 eyre::bail!("create var for call, but receive: {call:#?}")
744 }
745
746 fn get_current_ctx(&mut self) -> usize {
747 self.ctx += 1;

Callers 3

adg_precallMethod · 0.80
fdsan_precallFunction · 0.80
get_rvalueMethod · 0.80

Calls 2

get_typeMethod · 0.80
get_current_ctxMethod · 0.80

Tested by

no test coverage detected