@@ -129,9 +129,9 @@ namespace Models {
129
129
}
130
130
}
131
131
132
- // summary=;;true;toplevel_function;(int *);;Argument[0];ReturnValue;taint;df-generated
133
- // summary=;;true;toplevel_function;(int *);;Argument[*0];ReturnValue;taint;df-generated
134
- // summary=;;true;toplevel_function;(int *);;Argument[0];Argument[*0];taint;df-generated
132
+ // heuristic- summary=;;true;toplevel_function;(int *);;Argument[0];ReturnValue;taint;df-generated
133
+ // heuristic- summary=;;true;toplevel_function;(int *);;Argument[*0];ReturnValue;taint;df-generated
134
+ // heuristic- summary=;;true;toplevel_function;(int *);;Argument[0];Argument[*0];taint;df-generated
135
135
// contentbased-summary=;;true;toplevel_function;(int *);;Argument[0];Argument[*0];taint;dfc-generated
136
136
// contentbased-summary=;;true;toplevel_function;(int *);;Argument[0];ReturnValue;taint;dfc-generated
137
137
// contentbased-summary=;;true;toplevel_function;(int *);;Argument[*0];ReturnValue;value;dfc-generated
@@ -209,9 +209,9 @@ struct HasInt {
209
209
// contentbased-summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[1];Argument[*0];taint;dfc-generated
210
210
// contentbased-summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[1];Argument[*1];taint;dfc-generated
211
211
// contentbased-summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[*1];Argument[*0];value;dfc-generated
212
- // summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[1];Argument[*0];taint;df-generated
213
- // summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[1];Argument[*1];taint;df-generated
214
- // summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[*1];Argument[*0];taint;df-generated
212
+ // heuristic- summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[1];Argument[*0];taint;df-generated
213
+ // heuristic- summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[1];Argument[*1];taint;df-generated
214
+ // heuristic- summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[*1];Argument[*0];taint;df-generated
215
215
int copy_struct (HasInt *out, const HasInt *in) {
216
216
*out = *in;
217
217
return 1 ;
0 commit comments