All pull requests

Pull requests

• [AE] Retrieve full-sparse sub-object values from reaching definitions

  #1898·bjjwwang opened Sep 24, 2026Contributor·

  ·
  1

• feat: cross-platform Windows build support, MSVC compatibility, and CI workflows

  #1897·dg1474 opened Sep 24, 2026Contributor·

  ·
  20

• More comprehensively check whether a GEP edge can induce a GEP object

  #1870·mbarbar opened Jul 11, 2026Collaborator·

  ·
  8

• Build ExtAPI as LLVM bitcode, not LLVM IR.

  #1836·vonavi opened Jun 8, 2026Contributor·

  ·
  1

• Support LLVM 22.1.0, but 4 CFL cases cannot pass. (maybe no need to pass)

  #1811·bjjwwang opened Apr 14, 2026Contributor·

  ·
  3

• Semi-Sparse Abstract Interpretation (#1803 rebased on #1804)

  #1806·bjjwwang opened Mar 23, 2026Contributor·

  ·
  12

• [WIP]Add sparse abstract execution with def-use driven state propagation

  #1796·bjjwwang opened Mar 3, 2026Contributor·

  ·
  3

• graph db support

  #1756·JasonZhongZexin opened Oct 5, 2025Contributor·

  ·
  18

• Fix potential vulnerable cloned functions

  #1708·npt-1707 opened May 22, 2025·

  ·

• Fix statically allocated objects

  #1688·adriaanjacobs opened Apr 9, 2025Contributor·

  ·
  10

• Added support for LLVM 20.1.0 and fix .editorconfig glob pattern for Vim

  #1685·bsdb0y opened Apr 5, 2025·

  ·
  18

• remove all SVFFunction in svf

  #1646·Geoffrey1014 opened Feb 1, 2025Contributor·

  ·
  11

• Nullptr dereference detector

  #1541·ethanLin520 opened Sep 2, 2024·

  ·
  1

• Clang formatter and a workflow for checking

  #1530·cubicYYY opened Aug 24, 2024Contributor·

  ·
  7

• 1

  #1511·ApricityXX opened Aug 13, 2024·

  ·

• fix range-loop-analysis

  #1478·bjjwwang opened May 31, 2024Contributor·

  ·

• fix shared library builds (experimental)

  #1226·JuliusNmn opened Oct 16, 2023·

  ·
  1

• tiny improvement

  #1093·joeyjiaojg opened May 16, 2023Contributor·

  ·
  28

• Fix ff-eq

  #950·jeffjma opened Dec 6, 2022Contributor·

  ·
  3

• python3 perf_compare.py diff_tests/perf_history/

  #933·colindelotavo opened Nov 30, 2022·

  ·
  1

• Add SVFG::fromValue

  #906·gerion0 opened Nov 15, 2022Contributor·

  ·
  1

• Bump LLVM from 13.0.0 to 15.0.0

  #901·xudon9 opened Nov 11, 2022Contributor·

  ·
  14

• WIP: GenericGraph: try to fix GraphTraits interface

  #308·gerion0 opened Aug 30, 2020Contributor·

  ·

• build.sh: use ninja

  #303·gerion0 opened Aug 25, 2020Contributor·

  ·
  3

• WIP: remember load/store sizes during graphs building

  #258·man9ourah opened Jul 6, 2020·

  ·