Commits

Breadcrumbs

History for

onf-ImmutableIDEProblem

User selector

All users

All time

Commit History

Commits on Apr 7, 2024

• Introduce new IDEProblem that is immutable

  fabianbs96

  committed
  a91f7fa

  Copy full SHA for a91f7fa

Commits on Mar 9, 2024

• Opaque Pointers (#533)

  Show description for d5bd11d
  

  fabianbs96

  and

  MMory

  authored
  d5bd11d

  Copy full SHA for d5bd11d

Commits on Mar 1, 2024

• Bump v2403 (#703)

  fabianbs96

  authored
  5e007be

  Copy full SHA for 5e007be

Commits on Feb 29, 2024

• DI-based LLVM Type Hierarchy (#702)

  Show description for 7f0f756
  

  5 peopleauthored
  7f0f756

  Copy full SHA for 7f0f756

• Fix IIA Edge Functions (#700)

  Show description for a56fc58
  

  fabianbs96

  and

  MMory

  authored
  a56fc58

  Copy full SHA for a56fc58

• Fix DebugLibDeps (#699)

  Show description for fec44a5
  

  fabianbs96

  and

  MMory

  authored
  fec44a5

  Copy full SHA for fec44a5

• IDE Statistics (#697)

  Show description for 1d1be21
  

  fabianbs96

  and

  MMory

  authored
  1d1be21

  Copy full SHA for 1d1be21

Commits on Feb 25, 2024

• Implementing On-The-Fly Reporting (#701)

  Show description for 8a786ac
  

  3 peopleauthored
  8a786ac

  Copy full SHA for 8a786ac

Commits on Feb 1, 2024

• Misc Fixes (#698)

  Show description for cd302d8
  fabianbs96

  authored
  cd302d8

  Copy full SHA for cd302d8

Commits on Dec 12, 2023

• More General Statistics (#686)

  Show description for 385c305
  fabianbs96

  authored
  385c305

  Copy full SHA for 385c305

Commits on Dec 11, 2023

• TaintConfigData need include cstdint for uint32_t (#691)

  

  Alexander Lochmann

  authored
  1edd12d

  Copy full SHA for 1edd12d

Commits on Nov 27, 2023

• Path Tracing (#640)

  Show description for b07f56a
  

  4 peopleauthored
  b07f56a

  Copy full SHA for b07f56a

Commits on Nov 25, 2023

• Analysis Printer (#677)

  Show description for 1e9f3b7
  

  3 peopleauthored
  1e9f3b7

  Copy full SHA for 1e9f3b7

• Make killAllFlows() kill flows (#682)

  fabianbs96

  authored
  fc14480

  Copy full SHA for fc14480

• Improve Logger Performance (#683)

  Show description for 3aca432
  fabianbs96

  authored
  3aca432

  Copy full SHA for 3aca432

Commits on Nov 19, 2023

• Use the ASAN API to better communicate to the sanitizer, what memory regions should actually be valid (#670)

  Show description for ae8c161
  

  fabianbs96

  and

  MMory

  authored
  ae8c161

  Copy full SHA for ae8c161

Commits on Oct 27, 2023

• Cleanup Build (#673)

  Show description for 9eda5e2
  fabianbs96

  authored
  9eda5e2

  Copy full SHA for 9eda5e2

Commits on Oct 9, 2023

• TaintConfig Serialization (#672)

  Show description for de6d505
  

  fabianbs96

  and

  mxHuber

  authored
  de6d505

  Copy full SHA for de6d505

Commits on Sep 21, 2023

• HelperAnalyses with existing Module (#667)

  Show description for 06da95b
  fabianbs96

  authored
  06da95b

  Copy full SHA for 06da95b

• Fix Taint Analysis (#661)

  Show description for 1fafc44
  fabianbs96

  authored
  1fafc44

  Copy full SHA for 1fafc44

• Fix Backward ICFG (#660)

  Show description for 94a0e47
  fabianbs96

  authored
  94a0e47

  Copy full SHA for 94a0e47

Commits on Sep 10, 2023

• Adds helper function to determine if a function was generated by phasar (#665)

  Show description for 76fe080
  

  4 peopleauthored
  76fe080

  Copy full SHA for 76fe080

Commits on Sep 6, 2023

• Fix handling of unbalanced returns for IIA (#664)

  Show description for c78dbe0
  

  4 peopleauthored
  c78dbe0

  Copy full SHA for c78dbe0

Commits on Aug 28, 2023

• Cleaning up IDETabulationProblem (#653)

  Show description for b763b5f
  

  fabianbs96

  and

  MMory

  authored
  b763b5f

  Copy full SHA for b763b5f

Commits on Aug 24, 2023

• Make NToString and friends free functions (#652)

  Show description for 4ac7e69
  

  fabianbs96

  and

  MMory

  authored
  4ac7e69

  Copy full SHA for 4ac7e69

Commits on Aug 15, 2023

• Fix and update PAMM (#655)

  fabianbs96

  authored
  4a58224

  Copy full SHA for 4a58224

Commits on Aug 2, 2023

• Fix taint analysis (#648)

  Show description for 49f3310
  fabianbs96

  authored
  49f3310

  Copy full SHA for 49f3310

Commits on Jul 31, 2023

• fix uninitialized pointer that is used for SOO, making valgrind happy (#647)

  Show description for f1c5865
  

  MMory

  and

  Martin Mory

  authored
  f1c5865

  Copy full SHA for f1c5865

Commits on Jul 6, 2023

• F clang tidy compliance (#641)

  Show description for 349656f
  Poppeldipop

  authored
  349656f

  Copy full SHA for 349656f

Commits on Jun 29, 2023

• Lock-step Solving and Timeout for IDE Solver (#638)

  Show description for c6417d9
  fabianbs96

  authored
  c6417d9

  Copy full SHA for c6417d9

Commits on Jun 18, 2023

• Worklist for IDESolver (#630)

  Show description for 6ef25f4
  fabianbs96

  authored
  6ef25f4

  Copy full SHA for 6ef25f4

• Fix InitialSeeds for IFDS (#632)

  Show description for 6d1ef70
  fabianbs96

  authored
  6d1ef70

  Copy full SHA for 6d1ef70

Commits on Jun 15, 2023

• Small refactoring of LLVMBasedAliasAnalysis + allow disabling the CFL-based alias analyses (#626)

  fabianbs96

  authored
  263ef58

  Copy full SHA for 263ef58

• Misc Fixes II (#625)

  Show description for 2b4ec1c
  

  fabianbs96

  and

  sritejakv

  authored
  2b4ec1c

  Copy full SHA for 2b4ec1c

Commits on Jun 5, 2023

• Phasar DynLib and LTO (#621)

  Show description for 4f568a7
  

  fabianbs96

  and

  MMory

  authored
  4f568a7

  Copy full SHA for 4f568a7