Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 27, 2023

• bugfix to global variable types and removed some unnecessary code

  AnargyrosArg

  committed
  0f5fb5f

  Copy full SHA for 0f5fb5f

Commits on Oct 17, 2023

• update gitignore

  AnargyrosArg

  committed
  f9b04d2

  Copy full SHA for f9b04d2

Commits on Nov 1, 2022

• Delete .vscode directory

  AnargyrosArg

  authored
  d763ae8

  Copy full SHA for d763ae8

• Merge pull request #17 from AnargyrosArg/experimental

  Show description for 5ae03d7
  AnargyrosArg

  authored
  5ae03d7

  Copy full SHA for 5ae03d7

Commits on Oct 30, 2022

• fix some call instructions operands

  AnargyrosArg

  committed
  9ea9a70

  Copy full SHA for 9ea9a70

• major fix: GEP instructions with constant indexes

  AnargyrosArg

  committed
  2f415f0

  Copy full SHA for 2f415f0

• more comprehensive if conds

  AnargyrosArg

  committed
  17e8b28

  Copy full SHA for 17e8b28

• small fix

  Show description for ad9e66e
  AnargyrosArg

  committed
  ad9e66e

  Copy full SHA for ad9e66e

Commits on Oct 29, 2022

• add missing facts for StringAttributes

  AnargyrosArg

  committed
  7aaab47

  Copy full SHA for 7aaab47

• processValue/Declare fix

  AnargyrosArg

  committed
  61e29e9

  Copy full SHA for 61e29e9

Commits on Oct 28, 2022

• fix to utf8 encoding error

  AnargyrosArg

  committed
  5139802

  Copy full SHA for 5139802

Commits on Oct 27, 2022

• some fixes

  AnargyrosArg

  committed
  7f83568

  Copy full SHA for 7f83568

• visitType support for vectors

  AnargyrosArg

  committed
  4e3cca5

  Copy full SHA for 4e3cca5

Commits on Oct 26, 2022

• readded analysis.config somehow it got deleted

  AnargyrosArg

  committed
  9836add

  Copy full SHA for 9836add

• first compilable version

  AnargyrosArg

  committed
  7f387bd

  Copy full SHA for 7f387bd

Commits on Oct 9, 2022

• testing some changes

  

  Anargyros Argyros

  committed
  40e68ba

  Copy full SHA for 40e68ba

Commits on Dec 8, 2021

• Fix function pointer calls bug

  ktrianta

  committed
  8d01ff4

  Copy full SHA for 8d01ff4

• Add 2-call-site-sensitive+2-heap analysis

  ktrianta

  committed
  b7f3e4a

  Copy full SHA for b7f3e4a

• Refactor allocation context

  ktrianta

  committed
  4273d64

  Copy full SHA for 4273d64

Commits on Nov 26, 2021

• Update Dockerfile

  Show description for 00023b6
  

  ringzer0x00

  authored and

  ktrianta

  committed
  00023b6

  Copy full SHA for 00023b6

• tools/*/Makefile: Allow to overload -lboost_python

  Show description for b67ed49
  

  cmuellner

  authored and

  ktrianta

  committed
  b67ed49

  Copy full SHA for b67ed49

Commits on Nov 3, 2021

• Remove relations related to debugging

  ktrianta

  committed
  4219880

  Copy full SHA for 4219880

• Remove unused relations

  ktrianta

  committed
  e683694

  Copy full SHA for e683694

• Fix in allocations logic

  ktrianta

  committed
  9542c93

  Copy full SHA for 9542c93

Commits on Nov 2, 2021

• Update codebase to souffle 2.1

  ktrianta

  committed
  fcc4911

  Copy full SHA for fcc4911

• Update README

  ktrianta

  committed
  7c8085d

  Copy full SHA for 7c8085d

Commits on Oct 29, 2021

• Disable (temporarily) output relations codegen

  ktrianta

  committed
  eb67514

  Copy full SHA for eb67514

• Refactor context computation

  ktrianta

  committed
  fd12227

  Copy full SHA for fd12227

Commits on Jul 6, 2021

• Fix type errors in context-sensitive analyses

  ktrianta

  committed
  dfcd01d

  Copy full SHA for dfcd01d

Commits on Jun 23, 2021

• added Dockerfile

  Show description for 9c3e31c
  

  adrianherrera

  authored and

  ktrianta

  committed
  9c3e31c

  Copy full SHA for 9c3e31c

Commits on Jun 22, 2021

• Add missing dependency package to README

  ktrianta

  committed
  bec9e13

  Copy full SHA for bec9e13

Commits on Apr 30, 2021

• Fix get element pointer bug in logic

  

  TheoKant

  authored and

  ktrianta

  committed
  daf4bd5

  Copy full SHA for daf4bd5

Commits on Apr 23, 2021

• Update codebase to support souffle 2.0.2+

  ktrianta

  committed
  c30e7dd

  Copy full SHA for c30e7dd

• Fix cclyzer.sh script

  ktrianta

  committed
  d77070e

  Copy full SHA for d77070e

• Revert "Fix get element pointer bug in logic"

  Show description for bc6a648
  ktrianta

  committed
  bc6a648

  Copy full SHA for bc6a648

Pagination

Previous

Next