Code

PhASAR Release 2403#704

Code

Merged

MMory merged 60 commits intomastersecure-software-engineering/phasar:masterfrom developmentsecure-software-engineering/phasar:developmentCopy head branch name to clipboardMar 2, 2024

+22,304-7,317

Commits

Commits on Apr 20, 2023

• Consume solver results (#608)

  Show description for 290f455
  fabianbs96

  authored
  290f455

• The fix (#609)

  fabianbs96

  authored
  7a8b476

• Update bootstrap.h to work properly when boost is not already installed (#612)

  fabianbs96

  authored
  710ef66

Commits on May 4, 2023

• Ref-counted ModuleSlotTracker (#614)

  Show description for 88e42a2
  fabianbs96

  authored
  88e42a2

• Misc fixes (#615)

  Show description for 0309ccb
  

  fabianbs96

  and

  sritejakv

  authored
  0309ccb

Commits on May 12, 2023

• Enable building phasar with C++20 (#618)

  fabianbs96

  authored
  285f03e

Commits on May 16, 2023

• Fix result[s]AtInLLVMSSA() (#620)

  Show description for d7cb8ea
  fabianbs96

  authored
  d7cb8ea

Commits on May 31, 2023

• Deserialization for LLVMBasedICFG (#617)

  Show description for a586558
  fabianbs96

  authored
  a586558

• Explicit Call Graph (#619)

  Show description for c3b932c
  fabianbs96

  authored
  c3b932c

Commits on Jun 5, 2023

• Phasar DynLib and LTO (#621)

  Show description for 4f568a7
  

  fabianbs96

  and

  MMory

  authored
  4f568a7

Commits on Jun 15, 2023

• Misc Fixes II (#625)

  Show description for 2b4ec1c
  

  fabianbs96

  and

  sritejakv

  authored
  2b4ec1c

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

  fabianbs96

  authored
  263ef58

• Use temp databases in HexastoreTest to avoid IO (#628)

  Show description for 57dd51a
  

  MMory

  and

  fabianbs96

  authored
  57dd51a

Commits on Jun 18, 2023

• Fix InitialSeeds for IFDS (#632)

  Show description for 6d1ef70
  fabianbs96

  authored
  6d1ef70

• Bump dependencies (#627)

  Show description for 0605f7b
  

  MMory

  and

  fabianbs96

  authored
  0605f7b

• Worklist for IDESolver (#630)

  Show description for 6ef25f4
  fabianbs96

  authored
  6ef25f4

Commits on Jun 21, 2023

• Skip debug instructions in TaintConfig initial seeds (#635)

  fabianbs96

  authored
  1386d91

Commits on Jun 22, 2023

• Bump json-schema-validator to fix build on ARM (#636)

  Show description for 3f6436c
  

  fabianbs96

  and

  MMory

  authored
  3f6436c

Commits on Jun 29, 2023

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

  Show description for c6417d9
  fabianbs96

  authored
  c6417d9

Commits on Jul 6, 2023

• F clang tidy compliance (#641)

  Show description for 349656f
  Poppeldipop

  authored
  349656f

Commits on Jul 26, 2023

• added descriptions to TaintConfigSchema.json to explain its semantics (#644)

  Show description for 907d01d
  

  StamesJames

  and

  MMory

  authored
  907d01d

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

Commits on Aug 2, 2023

• Fix taint analysis (#648)

  Show description for 49f3310
  fabianbs96

  authored
  49f3310

Commits on Aug 15, 2023

• Fix and update PAMM (#655)

  fabianbs96

  authored
  4a58224

Commits on Aug 17, 2023

• disable the RVO test as it requires a very specific system setup to work (#659)

  fabianbs96

  authored
  1b28878

Commits on Aug 24, 2023

• Make NToString and friends free functions (#652)

  Show description for 4ac7e69
  

  fabianbs96

  and

  MMory

  authored
  4ac7e69

Commits on Aug 28, 2023

• link llvm Demangle component to controller, otherwise build in vara fails (#662)

  Show description for 7340a46
  

  MMory

  and

  Martin Mory

  authored
  7340a46

• don't link fat LLVM lib in myphasartool, needs to be transitively pulled in through phasar (#663)

  Show description for 1d0b6e4
  

  3 peopleauthored
  1d0b6e4

• Cleaning up IDETabulationProblem (#653)

  Show description for b763b5f
  

  fabianbs96

  and

  MMory

  authored
  b763b5f

Commits on Sep 6, 2023

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

  Show description for c78dbe0
  

  4 peopleauthored
  c78dbe0

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

Commits on Sep 21, 2023

• Fix Backward ICFG (#660)

  Show description for 94a0e47
  fabianbs96

  authored
  94a0e47

• Fix Taint Analysis (#661)

  Show description for 1fafc44
  fabianbs96

  authored
  1fafc44

• HelperAnalyses with existing Module (#667)

  Show description for 06da95b
  fabianbs96

  authored
  06da95b

Commits on Oct 9, 2023

• Pin swift version (#671)

  fabianbs96

  authored
  82a89f6

• TaintConfig Serialization (#672)

  Show description for de6d505
  

  fabianbs96

  and

  mxHuber

  authored
  de6d505

Commits on Oct 27, 2023

• Cleanup Build (#673)

  Show description for 9eda5e2
  fabianbs96

  authored
  9eda5e2

Commits on Nov 7, 2023

• Fix unexpected subshell execution in bootstrap.sh (#678)

  Show description for 02e832d
  szsam

  authored
  02e832d

Commits on Nov 15, 2023

• CallBase Called Function getName Null Check (#680)

  Show description for 5ddab3f
  

  fabianbs96

  and

  SanthoshMohan97

  authored
  5ddab3f

Commits on Nov 17, 2023

• Fix global handling in type state analysis (#651)

  Show description for 659cb8d
  

  3 peopleauthored
  659cb8d

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

Commits on Nov 25, 2023

• Fix Build (#684)

  Show description for 4c04ed3
  

  fabianbs96

  and

  Martin Mory

  authored
  4c04ed3

• Improve Logger Performance (#683)

  Show description for 3aca432
  fabianbs96

  authored
  3aca432

• Make killAllFlows() kill flows (#682)

  fabianbs96

  authored
  fc14480

• Analysis Printer (#677)

  Show description for 1e9f3b7
  

  3 peopleauthored
  1e9f3b7

Commits on Nov 27, 2023

• Path Tracing (#640)

  Show description for b07f56a
  

  4 peopleauthored
  b07f56a

Commits on Dec 11, 2023

• TaintConfigData need include cstdint for uint32_t (#691)

  

  Alexander Lochmann

  authored
  1edd12d

Commits on Dec 12, 2023

• The LLVMBasedICFGGlobCtorDtorTest needs LLVMLinker, so we better link explicitly, instead of relying on transitive linkage (#692)

  fabianbs96

  authored
  c3f5591

• More General Statistics (#686)

  Show description for 385c305
  fabianbs96

  authored
  385c305

• Provide LLVM's CFL-based alias analyses (#687)

  Show description for 7f1237b
  

  fabianbs96

  and

  MMory

  authored
  7f1237b

• Make the old way of configuring phasar work again (#694)

  fabianbs96

  authored
  61b3a30

Commits on Feb 1, 2024

• Allow LLVM beeing installed in a custom path (#690)

  Show description for 7aae84d
  

  flipreverse

  and

  fabianbs96

  authored
  7aae84d

• Misc Fixes (#698)

  Show description for cd302d8
  fabianbs96

  authored
  cd302d8

Commits on Feb 25, 2024

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

  Show description for 8a786ac
  

  3 peopleauthored
  8a786ac

Commits on Feb 29, 2024

• IDE Statistics (#697)

  Show description for 1d1be21
  

  fabianbs96

  and

  MMory

  authored
  1d1be21

• Fix DebugLibDeps (#699)

  Show description for fec44a5
  

  fabianbs96

  and

  MMory

  authored
  fec44a5

• Fix IIA Edge Functions (#700)

  Show description for a56fc58
  

  fabianbs96

  and

  MMory

  authored
  a56fc58

• DI-based LLVM Type Hierarchy (#702)

  Show description for 7f0f756
  

  5 peopleauthored
  7f0f756

Commits on Mar 1, 2024

• Bump v2403 (#703)

  fabianbs96

  authored
  5e007be

• Merge branch 'master' into development

  

  Martin Mory

  committed
  49ad944