Commit fc5bfe9
authored
fix(extractor): gate member_expression callback args on callee allowlist (#974)
* fix(extractor): gate member_expression callback args on callee allowlist
PR #947's extractCallbackReferenceCalls emitted a dynamic call edge for every
identifier or member_expression argument of every call expression. That was
correct for real callbacks (router.use, promise.then, items.map) but produced
false positives for plain property reads passed as data, e.g.
`store.set(user.id, user)` — the `user.id` arg wrongly resolved to
`User.id@types.ts`, dropping TS resolution precision from 100% → 93.8% and
tripping the regression guard.
Fix: gate member_expression args on a CALLBACK_ACCEPTING_CALLEES allowlist
covering router/middleware, promises, array methods, event emitters, and
scheduling APIs. Identifier args remain unchanged. Adds positive and
negative tests; updates the 3.9.4 resolution benchmark to reflect
restored precision.
Fixes #971
Impact: 2 functions changed, 7 affected
* fix(extractor): require string-literal path for HTTP-verb callback gating (#974)
Addresses Greptile review feedback on PR #974:
- HTTP-verb callees (get/post/put/delete/patch/options/head/all) double as
Map/cache/repository method names. Require a string-literal first argument
(Express route path) for member-expr args to be emitted as dynamic calls,
so `cache.get(user.id)` and `repo.put(record.key, value)` no longer leak
`id`/`key` as false-positive dynamic calls while `router.get('/path', h)`
still works.
- Document that optional-chaining callees (`obj?.on(handlers.fn)`) are
handled transparently: tree-sitter-javascript/typescript represent them
as `member_expression` with an `optional_chain` child, so the existing
extraction returns the property name correctly. Add a regression test.
- Tests: three new cases in `tests/parsers/javascript.test.ts`:
- negative: `cache.get(user.id)`, `repo.put(record.key, ...)`, `map.delete(entry.id)`
- positive: `router.get('/path', auth.check)`, `app.post(\`/api\`, handlers.create)`
- optional-chaining: `emitter?.on('tick', handlers.fn)` still emits
All JS parser, regression-guard, and TS/JS resolution benchmarks stay green
(TS precision 1.0, JS precision 1.0).
Impact: 2 functions changed, 7 affected1 parent f6f5482 commit fc5bfe9
3 files changed
Lines changed: 207 additions & 4 deletions
File tree
- generated/benchmarks
- src/extractors
- tests/parsers
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1134 | 1134 | | |
1135 | 1135 | | |
1136 | 1136 | | |
1137 | | - | |
| 1137 | + | |
1138 | 1138 | | |
1139 | 1139 | | |
1140 | | - | |
| 1140 | + | |
1141 | 1141 | | |
1142 | | - | |
| 1142 | + | |
1143 | 1143 | | |
1144 | 1144 | | |
1145 | 1145 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1277 | 1277 | | |
1278 | 1278 | | |
1279 | 1279 | | |
| 1280 | + | |
| 1281 | + | |
| 1282 | + | |
| 1283 | + | |
| 1284 | + | |
| 1285 | + | |
| 1286 | + | |
| 1287 | + | |
| 1288 | + | |
| 1289 | + | |
| 1290 | + | |
| 1291 | + | |
| 1292 | + | |
| 1293 | + | |
| 1294 | + | |
| 1295 | + | |
| 1296 | + | |
| 1297 | + | |
| 1298 | + | |
| 1299 | + | |
| 1300 | + | |
| 1301 | + | |
| 1302 | + | |
| 1303 | + | |
| 1304 | + | |
| 1305 | + | |
| 1306 | + | |
| 1307 | + | |
| 1308 | + | |
| 1309 | + | |
| 1310 | + | |
| 1311 | + | |
| 1312 | + | |
| 1313 | + | |
| 1314 | + | |
| 1315 | + | |
| 1316 | + | |
| 1317 | + | |
| 1318 | + | |
| 1319 | + | |
| 1320 | + | |
| 1321 | + | |
| 1322 | + | |
| 1323 | + | |
| 1324 | + | |
| 1325 | + | |
| 1326 | + | |
| 1327 | + | |
| 1328 | + | |
| 1329 | + | |
| 1330 | + | |
| 1331 | + | |
| 1332 | + | |
| 1333 | + | |
| 1334 | + | |
| 1335 | + | |
| 1336 | + | |
| 1337 | + | |
| 1338 | + | |
| 1339 | + | |
| 1340 | + | |
| 1341 | + | |
| 1342 | + | |
| 1343 | + | |
| 1344 | + | |
| 1345 | + | |
| 1346 | + | |
| 1347 | + | |
| 1348 | + | |
| 1349 | + | |
| 1350 | + | |
| 1351 | + | |
| 1352 | + | |
| 1353 | + | |
| 1354 | + | |
| 1355 | + | |
| 1356 | + | |
| 1357 | + | |
| 1358 | + | |
| 1359 | + | |
| 1360 | + | |
| 1361 | + | |
| 1362 | + | |
| 1363 | + | |
| 1364 | + | |
| 1365 | + | |
| 1366 | + | |
| 1367 | + | |
| 1368 | + | |
| 1369 | + | |
| 1370 | + | |
| 1371 | + | |
| 1372 | + | |
| 1373 | + | |
| 1374 | + | |
| 1375 | + | |
| 1376 | + | |
| 1377 | + | |
| 1378 | + | |
| 1379 | + | |
| 1380 | + | |
| 1381 | + | |
| 1382 | + | |
| 1383 | + | |
| 1384 | + | |
| 1385 | + | |
| 1386 | + | |
| 1387 | + | |
| 1388 | + | |
| 1389 | + | |
| 1390 | + | |
| 1391 | + | |
| 1392 | + | |
| 1393 | + | |
| 1394 | + | |
| 1395 | + | |
| 1396 | + | |
| 1397 | + | |
| 1398 | + | |
| 1399 | + | |
| 1400 | + | |
| 1401 | + | |
| 1402 | + | |
1280 | 1403 | | |
1281 | 1404 | | |
1282 | 1405 | | |
1283 | 1406 | | |
1284 | 1407 | | |
| 1408 | + | |
| 1409 | + | |
| 1410 | + | |
| 1411 | + | |
| 1412 | + | |
| 1413 | + | |
| 1414 | + | |
| 1415 | + | |
| 1416 | + | |
| 1417 | + | |
| 1418 | + | |
1285 | 1419 | | |
1286 | 1420 | | |
1287 | 1421 | | |
1288 | 1422 | | |
1289 | 1423 | | |
| 1424 | + | |
| 1425 | + | |
| 1426 | + | |
| 1427 | + | |
| 1428 | + | |
| 1429 | + | |
| 1430 | + | |
| 1431 | + | |
| 1432 | + | |
1290 | 1433 | | |
1291 | 1434 | | |
1292 | 1435 | | |
| |||
1296 | 1439 | | |
1297 | 1440 | | |
1298 | 1441 | | |
1299 | | - | |
| 1442 | + | |
1300 | 1443 | | |
1301 | 1444 | | |
1302 | 1445 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
321 | 321 | | |
322 | 322 | | |
323 | 323 | | |
| 324 | + | |
| 325 | + | |
| 326 | + | |
| 327 | + | |
| 328 | + | |
| 329 | + | |
| 330 | + | |
| 331 | + | |
| 332 | + | |
| 333 | + | |
| 334 | + | |
| 335 | + | |
| 336 | + | |
| 337 | + | |
| 338 | + | |
| 339 | + | |
| 340 | + | |
| 341 | + | |
| 342 | + | |
| 343 | + | |
| 344 | + | |
| 345 | + | |
| 346 | + | |
| 347 | + | |
| 348 | + | |
| 349 | + | |
| 350 | + | |
| 351 | + | |
| 352 | + | |
| 353 | + | |
| 354 | + | |
| 355 | + | |
| 356 | + | |
| 357 | + | |
| 358 | + | |
| 359 | + | |
| 360 | + | |
| 361 | + | |
| 362 | + | |
| 363 | + | |
| 364 | + | |
| 365 | + | |
| 366 | + | |
| 367 | + | |
| 368 | + | |
| 369 | + | |
| 370 | + | |
| 371 | + | |
| 372 | + | |
| 373 | + | |
| 374 | + | |
| 375 | + | |
| 376 | + | |
| 377 | + | |
| 378 | + | |
| 379 | + | |
| 380 | + | |
| 381 | + | |
| 382 | + | |
| 383 | + | |
324 | 384 | | |
325 | 385 | | |
326 | 386 | | |
| |||
0 commit comments