circle-ir 3.188.0 → 3.190.0

package/dist/analysis/config-loader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config-loader.d.ts","sourceRoot":"","sources":["../../src/analysis/config-loader.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,UAAU,EACV,mBAAmB,EACnB,kBAAkB,EAClB,WAAW,EACX,aAAa,EACb,WAAW,EACX,gBAAgB,EAChB,UAAU,EACX,MAAM,oBAAoB,CAAC;AAE5B;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,CAEjD;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,aAAa,EAAE,CAiB1E;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG;IACtD,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,UAAU,EAAE,gBAAgB,EAAE,CAAC;CAChC,CAcA;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,mBAAmB,EAAE,GAC7B,kBAAkB,EAAE,CAQtB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,cAAc,EAAE,MAAM,EAAE,EACxB,YAAY,EAAE,MAAM,EAAE,EACtB,qBAAqB,GAAE,MAAM,EAAO,GACnC,WAAW,CAYb;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,EAAE,aAAa,EAgoB1C,CAAC;AA+KF,eAAO,MAAM,aAAa,EAAE,WAAW,EA2wDtC,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,gBAAgB,EA+hBhD,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB,EAAE,kBAAkB,EAiDtD,CAAC;AAEF;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,WAAW,CAO9C;AAMD;;;;;;;;GAQG;AACH,eAAO,MAAM,oBAAoB,EAAE,UAAU,EA8F5C,CAAC"}
+{"version":3,"file":"config-loader.d.ts","sourceRoot":"","sources":["../../src/analysis/config-loader.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,UAAU,EACV,mBAAmB,EACnB,kBAAkB,EAClB,WAAW,EACX,aAAa,EACb,WAAW,EACX,gBAAgB,EAChB,UAAU,EACX,MAAM,oBAAoB,CAAC;AAE5B;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,CAEjD;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,aAAa,EAAE,CAiB1E;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG;IACtD,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,UAAU,EAAE,gBAAgB,EAAE,CAAC;CAChC,CAcA;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,mBAAmB,EAAE,GAC7B,kBAAkB,EAAE,CAQtB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,cAAc,EAAE,MAAM,EAAE,EACxB,YAAY,EAAE,MAAM,EAAE,EACtB,qBAAqB,GAAE,MAAM,EAAO,GACnC,WAAW,CAYb;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,EAAE,aAAa,EA0tB1C,CAAC;AA+KF,eAAO,MAAM,aAAa,EAAE,WAAW,EA2wDtC,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,gBAAgB,EA+hBhD,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB,EAAE,kBAAkB,EAiDtD,CAAC;AAEF;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,WAAW,CAO9C;AAMD;;;;;;;;GAQG;AACH,eAAO,MAAM,oBAAoB,EAAE,UAAU,EA8F5C,CAAC"}

package/dist/analysis/config-loader.js

@@ -530,6 +530,71 @@ export const DEFAULT_SOURCES = [
     { method_annotation: 'GraphQLMutation', type: 'http_body', severity: 'high', languages: ['java'] },
     { annotation: 'InputArgument', type: 'http_param', severity: 'high', param_tainted: true, languages: ['java'] },
     { annotation: 'GraphQLArgument', type: 'http_param', severity: 'high', param_tainted: true, languages: ['java'] },
+    // --- Go web framework sources (cognium-dev #213 ninth slice) ---
+    //
+    // Gin `c.Query("id")` / `c.Param("id")` / `c.PostForm("k")` /
+    //     `c.GetHeader("H")` / `c.Cookie("c")` / `c.FormFile("f")`.
+    //     Also body binders: `c.BindJSON(&d)` / `c.ShouldBindJSON(&d)` /
+    //     `c.Bind(&d)`. Class-scoped to `Context` — the Go local-receiver
+    //     resolver from #240 3.177.0 puts the resolved type into the
+    //     `receiver` field so class-matching works for `func h(c *gin.Context)`.
+    //
+    // Echo `c.QueryParam("id")` / `c.QueryParams()` / `c.Param("id")` /
+    //     `c.FormValue("k")` / `c.FormParams()` / `c.Request().Header` /
+    //     `c.Cookie("c")` / `c.Bind(&d)`.
+    //
+    // Fiber `c.Query("id")` / `c.Params("id")` / `c.FormValue("k")` /
+    //     `c.Cookies("c")` / `c.Get("H")` / `c.Body()` / `c.BodyParser(&d)`.
+    //     Distinct receiver type `*fiber.Ctx` — separate class entries.
+    //
+    // Chi `chi.URLParam(r, "id")` — package-level call, matched via
+    //     bare-import resolution in matchesSourcePattern.
+    //
+    // Beego `ctx.Input.Query(...)` — `Input` is a struct, so `.Query`
+    //     matches on `Input` class.
+    //
+    // Gorilla mux `mux.Vars(r)` — returns map of path vars.
+    { method: 'Query', class: 'Context', type: 'http_param', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'Param', class: 'Context', type: 'http_path', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'PostForm', class: 'Context', type: 'http_body', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'GetHeader', class: 'Context', type: 'http_header', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'Cookie', class: 'Context', type: 'http_cookie', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'FormFile', class: 'Context', type: 'file_input', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'BindJSON', class: 'Context', type: 'http_body', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'ShouldBindJSON', class: 'Context', type: 'http_body', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'Bind', class: 'Context', type: 'http_body', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'BindQuery', class: 'Context', type: 'http_param', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'ShouldBindQuery', class: 'Context', type: 'http_param', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'BindUri', class: 'Context', type: 'http_path', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'ShouldBindUri', class: 'Context', type: 'http_path', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'MultipartForm', class: 'Context', type: 'http_body', severity: 'high', return_tainted: true, languages: ['go'] },
+    // Echo — QueryParam/QueryParams are Echo-distinctive.
+    { method: 'QueryParam', class: 'Context', type: 'http_param', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'QueryParams', class: 'Context', type: 'http_param', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'FormValue', class: 'Context', type: 'http_body', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'FormParams', class: 'Context', type: 'http_body', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'FormFile', class: 'Context', type: 'file_input', severity: 'high', return_tainted: true, languages: ['go'] },
+    // Fiber — receiver type is `*fiber.Ctx`, distinct class name.
+    { method: 'Query', class: 'Ctx', type: 'http_param', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'Params', class: 'Ctx', type: 'http_path', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'FormValue', class: 'Ctx', type: 'http_body', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'FormFile', class: 'Ctx', type: 'file_input', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'Cookies', class: 'Ctx', type: 'http_cookie', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'Get', class: 'Ctx', type: 'http_header', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'Body', class: 'Ctx', type: 'http_body', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'BodyParser', class: 'Ctx', type: 'http_body', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'QueryParser', class: 'Ctx', type: 'http_param', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'ParamsParser', class: 'Ctx', type: 'http_path', severity: 'high', return_tainted: true, languages: ['go'] },
+    // Chi package-level path param.
+    { method: 'URLParam', class: 'chi', type: 'http_path', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'URLParamFromCtx', class: 'chi', type: 'http_path', severity: 'high', return_tainted: true, languages: ['go'] },
+    // Gorilla mux path vars.
+    { method: 'Vars', class: 'mux', type: 'http_path', severity: 'high', return_tainted: true, languages: ['go'] },
+    // Beego — `ctx.Input.Query(...)` etc. `Input` is a struct field on Context.
+    { method: 'Query', class: 'Input', type: 'http_param', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'Param', class: 'Input', type: 'http_path', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'Header', class: 'Input', type: 'http_header', severity: 'high', return_tainted: true, languages: ['go'] },
+    { method: 'Cookie', class: 'Input', type: 'http_cookie', severity: 'high', return_tainted: true, languages: ['go'] },
     // --- gRPC request metadata (Python — grpcio) ---
     // `context.invocation_metadata()` returns the caller-supplied metadata tuple.
     // No `class` filter — receiver names vary (`context`, `ctx`, `servicer_context`).
@@ -606,6 +671,27 @@ export const DEFAULT_SOURCES = [
     { method: 'get', class: 'Jedis', type: 'db_input', severity: 'medium', return_tainted: true, languages: ['java'] },
     { method: 'hget', class: 'Jedis', type: 'db_input', severity: 'medium', return_tainted: true, languages: ['java'] },
     { method: 'mget', class: 'Jedis', type: 'db_input', severity: 'medium', return_tainted: true, languages: ['java'] },
+    // --- Modern JS/TS framework sources (cognium-dev #213 tenth slice) ---
+    //
+    // NextJS App Router: `req.nextUrl` is a NextURL instance whose
+    // `.searchParams`, `.pathname`, `.hash` carry attacker-controlled
+    // request state.
+    //   req.nextUrl.searchParams.get('id')
+    //   req.nextUrl.pathname
+    { property: 'nextUrl', object: 'req', type: 'http_body', severity: 'high', property_tainted: true, languages: ['javascript', 'typescript'] },
+    { property: 'nextUrl', object: 'request', type: 'http_body', severity: 'high', property_tainted: true, languages: ['javascript', 'typescript'] },
+    // Angular ActivatedRoute: `route.snapshot.params` / `queryParams` /
+    // `data`, and `route.paramMap` (Observable-based) are the two
+    // idioms for reading URL params.
+    { property: 'snapshot', object: 'route', type: 'http_path', severity: 'high', property_tainted: true, languages: ['javascript', 'typescript'] },
+    { property: 'paramMap', object: 'route', type: 'http_path', severity: 'high', property_tainted: true, languages: ['javascript', 'typescript'] },
+    { property: 'queryParamMap', object: 'route', type: 'http_param', severity: 'high', property_tainted: true, languages: ['javascript', 'typescript'] },
+    // Remix / SvelteKit / Astro / Bun / Deno all destructure `{ params, request, url }`
+    // from a handler-args object. Registering `params` / `url` /
+    // `searchParams` as unqualified properties would over-fire; instead
+    // add regex-based coverage in language-sources-pass.ts so the
+    // taint enters only through the specific request-URL chain
+    // (`url.searchParams.get(...)`, `event.url.pathname`).
     // --- Serverless transport channels (cognium-dev #213 first slice) ---
     //
     // AWS Lambda / API Gateway invocation-event properties. The Lambda