devsetup

Workflow runs for devsetup

• [windows] tell a spawned analysis worker the pid its orchestrator knows it by

  completed successfully:
  devsetup#657:Pull request#2269synchronizebyjeremydubreil
  jeremydubreil:windows-worker-pids

  Oct 29, 202636m 9s
  More actions for workflow run 657

• [windows][ci] add windows-2025 to the devsetup build matrix

  currently running:
  devsetup#656:Pull request#2285synchronizebyjeremydubreil
  jeremydubreil:ci-windows-devsetup

  Oct 29, 2026In progress
  More actions for workflow run 656

• [java] Model ZipFile.getInputStream and JarFile.getManifest as throwing IOException

  completed successfully:
  devsetup#655:Pull request#2289openedbytanvir-ux
  tanvir-ux:fix/pulse-zipfile-getinputstream-throws

  Oct 29, 202653m 57s
  More actions for workflow run 655

• [pulse][taint] do not taint the receiver of unknown String methods

  completed successfully:
  devsetup#654:Pull request#2288synchronizebyjeremydubreil
  jeremydubreil:java-taint-immutable-string-receiver

  Oct 29, 202644m 46s
  More actions for workflow run 654

• [pulse][taint] do not taint the receiver of unknown String methods

  completed successfully:
  devsetup#653:Pull request#2288openedbyjeremydubreil
  jeremydubreil:java-taint-immutable-string-receiver

  Oct 28, 202642m 21s
  More actions for workflow run 653

• [windows][build] fix pyml's Windows stubs for OCaml 5

  completed successfully:
  devsetup#652:Pull request#2284synchronizebyjeremydubreil
  jeremydubreil:patch-pyml-windows

  Oct 28, 202653m 6s
  More actions for workflow run 652

• [windows][build] fix pyml's Windows stubs for OCaml 5

  completed successfully:
  devsetup#651:Pull request#2284synchronizebyjeremydubreil
  jeremydubreil:patch-pyml-windows

  Oct 28, 202626m 16s
  More actions for workflow run 651

• [windows][build] patch ANSITerminal for mingw-w64 GCC 14

  completed successfully:
  devsetup#650:Pull request#2283synchronizebyjeremydubreil
  jeremydubreil:patch-ansiterminal

  Oct 28, 202634m 23s
  More actions for workflow run 650

• [windows] tell a spawned analysis worker the pid its orchestrator knows it by

  completed successfully:
  devsetup#649:Pull request#2269synchronizebyjeremydubreil
  jeremydubreil:windows-worker-pids

  Oct 28, 202635m 12s
  More actions for workflow run 649

• [windows][ci] add windows-2025 to the devsetup build matrix

  failed:
  devsetup#648:Pull request#2285synchronizebyjeremydubreil
  jeremydubreil:ci-windows-devsetup

  Oct 28, 202634m 27s
  More actions for workflow run 648

• [pulse][taint] add the servlet request accessors as sources and the cookie setters as propagators

  completed successfully:
  devsetup#647:Pull request#2287synchronizebyjeremydubreil
  jeremydubreil:java-taint-request-accessors-cookie-setters

  Oct 28, 202631m 54s
  More actions for workflow run 647

• [pulse][taint] add the servlet request accessors as sources and the cookie setters as propagators

  completed successfully:
  devsetup#646:Pull request#2287openedbyjeremydubreil
  jeremydubreil:java-taint-request-accessors-cookie-setters

  Oct 28, 202651m 6s
  More actions for workflow run 646

• [windows] tell a spawned analysis worker the pid its orchestrator knows it by

  completed successfully:
  devsetup#645:Pull request#2269synchronizebyjeremydubreil
  jeremydubreil:windows-worker-pids

  Oct 28, 202633m 46s
  More actions for workflow run 645

• [windows] handle drive letters and backslashes in paths

  completed successfully:
  devsetup#644:Pull request#2280synchronizebyjeremydubreil
  jeremydubreil:windows-paths

  Oct 28, 202632m 6s
  More actions for workflow run 644

• [pulse][taint] add Java HTTP clients as server-side request forgery sinks

  completed successfully:
  devsetup#643:Pull request#2282synchronizebyjeremydubreil
  jeremydubreil:java-taint-ssrf-http-clients

  Oct 28, 202642m 13s
  More actions for workflow run 643

• [java] Model RandomAccessFile reads and writes for Pulse resource leaks

  completed successfully:
  devsetup#642:Pull request#2286openedbytanvir-ux
  tanvir-ux:fix/pulse-randomaccessfile-usage

  Oct 28, 202641m 45s
  More actions for workflow run 642

• [windows][ci] add windows-2025 to the devsetup build matrix

  failed:
  devsetup#641:Pull request#2285openedbyjeremydubreil
  jeremydubreil:ci-windows-devsetup

  Oct 27, 20261h 3m 14s
  More actions for workflow run 641

• [windows][build] fix pyml's Windows stubs for OCaml 5

  completed successfully:
  devsetup#640:Pull request#2284openedbyjeremydubreil
  jeremydubreil:patch-pyml-windows

  Oct 27, 202639m 42s
  More actions for workflow run 640

• [windows][build] patch ANSITerminal for mingw-w64 GCC 14

  completed successfully:
  devsetup#639:Pull request#2283synchronizebyjeremydubreil
  jeremydubreil:patch-ansiterminal

  Oct 27, 202633m 39s
  More actions for workflow run 639

• [windows][build] patch ANSITerminal for mingw-w64 GCC 14

  completed successfully:
  devsetup#638:Pull request#2283openedbyjeremydubreil
  jeremydubreil:patch-ansiterminal

  Oct 27, 202650m 4s
  More actions for workflow run 638

• [pulse][taint] add Java HTTP clients as server-side request forgery sinks

  completed successfully:
  devsetup#637:Pull request#2282openedbyjeremydubreil
  jeremydubreil:java-taint-ssrf-http-clients

  Oct 27, 20261h 11m 42s
  More actions for workflow run 637

• [windows][build] patch base_bigstring with a memmem fallback for Windows

  completed successfully:
  devsetup#636:Pull request#2281openedbyjeremydubreil
  jeremydubreil:patch-base-bigstring

  Oct 27, 202642m 11s
  More actions for workflow run 636

• [windows] handle drive letters and backslashes in paths

  completed successfully:
  devsetup#635:Pull request#2280synchronizebyjeremydubreil
  jeremydubreil:windows-paths

  Oct 27, 202634m 29s
  More actions for workflow run 635

• [windows] handle drive letters and backslashes in paths

  completed successfully:
  devsetup#634:Pull request#2280synchronizebyjeremydubreil
  jeremydubreil:windows-paths

  Oct 27, 202625m 23s
  More actions for workflow run 634

• [windows] handle drive letters and backslashes in paths

  completed successfully:
  devsetup#633:Pull request#2280synchronizebyjeremydubreil
  jeremydubreil:windows-paths

  Oct 27, 202630m 3s
  More actions for workflow run 633