Commits

Commit history

1. Commits on Nov 13, 2023

   • Rangeanalysis: Simplify api.

     aschackmull

     committed
     bf6cfd3View commit details

     Copy full SHA for bf6cfd3

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Rename predicate.

     aschackmull

     committed
     30aefabView commit details

     Copy full SHA for 30aefab

     View code at this pointBrowse repository at this point

   • Java: Remove unused import

     aschackmull

     committed
     66b03bfView commit details

     Copy full SHA for 66b03bf

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Remove unused getAlternateType predicates.

     aschackmull

     committed
     3a73fafView commit details

     Copy full SHA for 3a73faf

     View code at this pointBrowse repository at this point
2. Commits on Nov 9, 2023

   • Java/C++: Share valueFlowStep.

     aschackmull

     committed
     657c29fView commit details

     Copy full SHA for 657c29f

     View code at this pointBrowse repository at this point

   • Java/C++: Share ssaUpdateStep.

     aschackmull

     committed
     b8e7e1dView commit details

     Copy full SHA for b8e7e1d

     View code at this pointBrowse repository at this point

   • Java/C++: Share eqFlowCond.

     aschackmull

     committed
     daffae0View commit details

     Copy full SHA for daffae0

     View code at this pointBrowse repository at this point
3. Commits on Nov 8, 2023

   • Java: Duplicate a bit more code to postpone Java-C# cleanup.

     aschackmull

     committed
     f9132c5View commit details

     Copy full SHA for f9132c5

     View code at this pointBrowse repository at this point

   • Java/C++: Move SsaReadPosition to shared qlpack.

     aschackmull

     committed
     1f4cd74View commit details

     Copy full SHA for 1f4cd74

     View code at this pointBrowse repository at this point

   • Merge pull request #14711 from aschackmull/shared/rangeutil-share2

     Show description for 45ae4ed
     aschackmull

     authored
     45ae4edView commit details

     Copy full SHA for 45ae4ed

     View code at this pointBrowse repository at this point
4. Commits on Nov 7, 2023

   • Java/C++: Move range util guard-controls predicates to shared pack.

     aschackmull

     committed
     12cba79View commit details

     Copy full SHA for 12cba79

     View code at this pointBrowse repository at this point

   • Java/C++: Move range util backEdge predicate to shared pack.

     aschackmull

     committed
     f2ca52dView commit details

     Copy full SHA for f2ca52d

     View code at this pointBrowse repository at this point

   • Address review comments

     hvitved

     committed
     af7b295View commit details

     Copy full SHA for af7b295

     View code at this pointBrowse repository at this point
5. Commits on Nov 1, 2023

   • Java: Switch to shared modulus analysis.

     aschackmull

     committed
     f8ab64dView commit details

     Copy full SHA for f8ab64d

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Parameterise shared modulus analysis.

     aschackmull

     committed
     a7f3ef1View commit details

     Copy full SHA for a7f3ef1

     View code at this pointBrowse repository at this point

   • Merge pull request #14656 from aschackmull/shared/range-utils

     Show description for 6d859da
     aschackmull

     authored
     6d859daView commit details

     Copy full SHA for 6d859da

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Rename SsaBound.getAVariable to getVariable.

     aschackmull

     committed
     048a7c4View commit details

     Copy full SHA for 048a7c4

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Remove superfluous ignoreZeroLowerBound.

     aschackmull

     committed
     48291ddView commit details

     Copy full SHA for 48291dd

     View code at this pointBrowse repository at this point
6. Commits on Oct 31, 2023

   • Rangeanalysis: Remove superfluous ignoreSsaReadCopy.

     aschackmull

     committed
     34b9791View commit details

     Copy full SHA for 34b9791

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Remove superfluous specificSsaRead.

     aschackmull

     committed
     322e6c9View commit details

     Copy full SHA for 322e6c9

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Remove superfluous ignoreSsaReadAssignment.

     aschackmull

     committed
     8b6c940View commit details

     Copy full SHA for 8b6c940

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Remove superfluous ignoreSsaReadArithmeticExpr.

     aschackmull

     committed
     6d6f89eView commit details

     Copy full SHA for 6d6f89e

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Switch to shared ssaRead predicate.

     aschackmull

     committed
     a39a94cView commit details

     Copy full SHA for a39a94c

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Implement shared ssaRead predicate

     aschackmull

     committed
     19644a8View commit details

     Copy full SHA for 19644a8

     View code at this pointBrowse repository at this point
7. Commits on Oct 26, 2023

   • Merge remote-tracking branch 'origin/main' into dbartol/threat-models-2

     

     Dave Bartolomeo

     committed
     d2afb20View commit details

     Copy full SHA for d2afb20

     View code at this pointBrowse repository at this point

   • Merge pull request #14588 from aschackmull/shared/rangeanalysis

     Show description for 30ecb4b
     MathiasVP

     authored
     30ecb4bView commit details

     Copy full SHA for 30ecb4b

     View code at this pointBrowse repository at this point
8. Commits on Oct 25, 2023

   • Rangeanalysis/Java/C++: Address some ql4ql findings.

     aschackmull

     committed
     283d6efView commit details

     Copy full SHA for 283d6ef

     View code at this pointBrowse repository at this point

   • Merge pull request #14581 from jcogs33/jcogs33/add-internal-to-model-exclusions

     Show description for 53d92d5
     jcogs33

     authored
     53d92d5View commit details

     Copy full SHA for 53d92d5

     View code at this pointBrowse repository at this point

   • Java: Replace range analysis with shared version.

     aschackmull

     committed
     2592c94View commit details

     Copy full SHA for 2592c94

     View code at this pointBrowse repository at this point

   • Java: Implement shared range analysis signatures.

     aschackmull

     committed
     3608280View commit details

     Copy full SHA for 3608280

     View code at this pointBrowse repository at this point
9. Commits on Oct 24, 2023

   • Alternate threat model implementation

     

     Dave Bartolomeo

     committed
     5fd56ceView commit details

     Copy full SHA for 5fd56ce

     View code at this pointBrowse repository at this point

   • Java: exclude internal packages in general from models

     

     Jami Cogswell

     authored and

     Jami Cogswell

     committed
     121fd08View commit details

     Copy full SHA for 121fd08

     View code at this pointBrowse repository at this point

   • Improve reflective class names

     smowton

     authored
     06238ddView commit details

     Copy full SHA for 06238dd

     View code at this pointBrowse repository at this point

   • Fix description and improve predicate name of VarWrite.

     smowton

     authored
     011666bView commit details

     Copy full SHA for 011666b

     View code at this pointBrowse repository at this point

   • Add missing qldoc

     smowton

     authored
     3627eb2View commit details

     Copy full SHA for 3627eb2

     View code at this pointBrowse repository at this point