Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 5, 2022

• Add a maximum size of cosntraint serialization buffer

  jon-bell

  committed
  2291d0c

  Copy full SHA for 2291d0c

Commits on Dec 23, 2021

• Merge pull request #2 from gmu-swe/add-license-1

  Show description for 14be332
  jon-bell

  authored
  14be332

  Copy full SHA for 14be332

• Create LICENSE

  jon-bell

  authored
  e98a085

  Copy full SHA for e98a085

• Create README.md

  jon-bell

  authored
  219cf14

  Copy full SHA for 219cf14

Commits on Aug 12, 2021

• Revert Z3 upgrade

  jon-bell

  committed
  8012e18

  Copy full SHA for 8012e18

Commits on Aug 11, 2021

• Update Z3 library jar; Move constraint deserializer out of knarr. ConstraintSerializer now writes directly to stream, uses references by offset instead of making a separate table. Add some hacks to…

  Show description for 6e63b91
  jon-bell

  committed
  6e63b91

  Copy full SHA for 6e63b91

Commits on Aug 10, 2021

• Add hand-written constraint serialization/deserialization

  jon-bell

  committed
  aacb943

  Copy full SHA for aacb943

Commits on Aug 9, 2021

• Added optimization to avoid repeated ((var&0xFFFF)&0xFFFF)&0xFFFF in constraints

  luisggpina

  committed
  ef41b96

  Copy full SHA for ef41b96

Commits on Aug 3, 2021

• Fix: reduce the footprint of switch instrumentation to reduce likelihood of making the method too big

  jon-bell

  committed
  2e10fba

  Copy full SHA for 2e10fba

Commits on Jul 20, 2021

• Stop adding constraints that will cause translation exceptions...

  jon-bell

  committed
  a31e0af

  Copy full SHA for a31e0af

• Adds better support for switch tables/lookups

  jon-bell

  committed
  d894a35

  Copy full SHA for d894a35

Commits on Jul 18, 2021

• Fix implementation of INDEXOF, but this still doesn't work well with green. Replace isEmpty constraint with equals(""), since that works.

  jon-bell

  committed
  cdf7446

  Copy full SHA for cdf7446

• Avoid a weird corner case in serialization of branches (didn't think this NPE was possible?)

  jon-bell

  committed
  20fea44

  Copy full SHA for 20fea44

• Performance: add fast-path logic for array get/set to each individual array get/set method to allow for better inlining

  jon-bell

  committed
  a92047b

  Copy full SHA for a92047b

Commits on Jul 11, 2021

• Refactor metadata data structures to avoid serializable

  jon-bell

  committed
  4761521

  Copy full SHA for 4761521

Commits on Jul 10, 2021

• Add an isEmpty wrapper + hint

  jon-bell

  committed
  1d5ce42

  Copy full SHA for 1d5ce42

• Fix: never throw a runtime exception if we can't track a constraint, just drop the constraint.

  jon-bell

  committed
  3f38da1

  Copy full SHA for 3f38da1

• Add string.endsWith wrapper, add extra phosphor unboxing checks before ACMP_EQ to handle weird corner cases with wrapped primitive array + tainted enum equality checks (just in case...)

  jon-bell

  committed
  7428326

  Copy full SHA for 7428326

• Fix: Xerces ModelUtils wrapper must tolerate string constants that have no taint yet.

  jon-bell

  committed
  8aabc20

  Copy full SHA for 8aabc20

Commits on Jul 9, 2021

• Merge branch 'master' of github.com:gmu-swe/knarr

  jon-bell

  committed
  9b09d1b

  Copy full SHA for 9b09d1b

• Enable indexOf,startsWith,contains constraints, fix NPE in StringUtils, add symbolicator hack to copy a tag from one variable to another

  jon-bell

  committed
  c4e66b6

  Copy full SHA for c4e66b6

Commits on Jul 3, 2021

• OK I sure hope that this fixes gitlab deploy

  jon-bell

  committed
  b216232

  Copy full SHA for b216232

• Remove double-deploy bug

  jon-bell

  committed
  70f3c58

  Copy full SHA for 70f3c58

• Merge branch 'master' of github.com:gmu-swe/knarr

  jon-bell

  committed
  fe7ad4b

  Copy full SHA for fe7ad4b

• add missing maven settings for travis deploy

  jon-bell

  committed
  9b86c78

  Copy full SHA for 9b86c78

Commits on Jun 30, 2021

• Merge pull request #1 from gmu-swe/fix-string-multibyte-test

  Show description for d2f089a
  jon-bell

  authored
  d2f089a

  Copy full SHA for d2f089a

Commits on Jun 22, 2021

• Update z3 mac binaries

  jon-bell

  committed
  e8cce1f

  Copy full SHA for e8cce1f

• Merge branch 'master' into fix-string-multibyte-test

  jon-bell

  committed
  d63fd81

  Copy full SHA for d63fd81

• Update Z3 linux version

  jon-bell

  committed
  1173eee

  Copy full SHA for 1173eee

• fix z3 depenency

  jon-bell

  committed
  e421c54

  Copy full SHA for e421c54

• Remove dead maven server

  jon-bell

  committed
  43acd2a

  Copy full SHA for 43acd2a

• tweak gitlab ci

  jon-bell

  committed
  a49b8b8

  Copy full SHA for a49b8b8

• Set up gitlab ci

  jon-bell

  committed
  8de2fd3

  Copy full SHA for 8de2fd3

• Revert part of the change from 907dafa, I think that this is the right fix but not sure

  jon-bell

  committed
  bd01949

  Copy full SHA for bd01949

Commits on Sep 16, 2020

• Fixed bug where existing taints were being overwritten in registerNewstring

  

  James Kukucka

  committed
  907dafa

  Copy full SHA for 907dafa

Pagination

Previous

Next