| commit | ae422efc2bd7aa10b22f38072f736e189934a81d | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 15 May 2012 11:50:37 +0000 (15 14:50 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 15 May 2012 11:50:37 +0000 (15 14:50 +0300) | ||
| tree | a7d0011c867b30d2b95902d3891612738ab8e332 | treesnapshot (tar.gz zip) |
| parent | 6434ae53738c044f90501d3c54cbc97a5a1bc6e8 | commitdiff |
db: add call_implies table
One way that this can be used is for tracking dereferences across function
boundaries. You record in the database which function and which argument
have an attribute of type DEREFERENCE. Then you register a call back which
says "give me all the arguments that have attribute type dereference".
The callbacks are called with the arg expr and a char pointer to the data
in the value column.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
One way that this can be used is for tracking dereferences across function
boundaries. You record in the database which function and which argument
have an attribute of type DEREFERENCE. Then you register a call back which
says "give me all the arguments that have attribute type dereference".
The callbacks are called with the arg expr and a char pointer to the data
in the value column.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_db.c | diffblobblamehistory | |
| smatch_scripts/db/call_implies.schema | [new file with mode: 0644] | blob |
| smatch_scripts/db/fill_db_call_implies.pl | [new file with mode: 0755] | blob |