Commits

Breadcrumbs

History for

on331707f

User selector

All users

All time

Commit History

Commits on Sep 6, 2019

• Framework for the translation of compiler elements

  Show description for 331707f
  

  AndreiDiaconu1

  committed
  331707f

  Copy full SHA for 331707f

• Initial restructure

  Show description for 80b7512
  

  AndreiDiaconu1

  committed
  80b7512

  Copy full SHA for 80b7512

Commits on Sep 2, 2019

• Merge pull request #1846 from hvitved/csharp/autoformat

  Show description for 0cf872e
  semmle-qlci

  authored
  0cf872e

  Copy full SHA for 0cf872e

Commits on Aug 30, 2019

• Merge pull request #1759 from aschackmull/java/flow-exploration

  Show description for f545455
  yh-semmle

  authored
  f545455

  Copy full SHA for f545455

• Merge pull request #1749 from calumgrant/cs/extractor-tidy

  Show description for 3e716bf
  hvitved

  authored
  3e716bf

  Copy full SHA for 3e716bf

• Java/C++/C#: Add support for dataflow exploration by partial paths.

  aschackmull

  committed
  5e6326d

  Copy full SHA for 5e6326d

• Merge pull request #1807 from hvitved/csharp/dataflow/barrier-guard

  Show description for 394563d
  semmle-qlci

  authored
  394563d

  Copy full SHA for 394563d

• Merge pull request #1805 from hvitved/csharp/dataflow/nested-fields

  Show description for ec61877
  calumgrant

  authored
  ec61877

  Copy full SHA for ec61877

• C#: Address review comments.

  calumgrant

  committed
  0129b42

  Copy full SHA for 0129b42

• C#: Code tidy. Rename variables, delete dead code, format whitespace, improve comments.

  calumgrant

  committed
  40f56ff

  Copy full SHA for 40f56ff

• C#: Add more CIL consistency tests.

  calumgrant

  committed
  97522c5

  Copy full SHA for 97522c5

• C#: Fix up tests. Fix cil_class, and add locations for constructed methods and types.

  calumgrant

  committed
  b776421

  Copy full SHA for b776421

• C#: Autoformat

  hvitved

  committed
  9f59e38

  Copy full SHA for 9f59e38

• C#: Revert to using `GuardedDataFlowNode` in `TaintedPath.qll`

  hvitved

  committed
  6e7ef66

  Copy full SHA for 6e7ef66

• C#: Address review comments

  hvitved

  committed
  751985d

  Copy full SHA for 751985d

• C#: Introduce `BarrierGuard`s

  hvitved

  committed
  ae5fb7f

  Copy full SHA for ae5fb7f

Commits on Aug 29, 2019

• C#: Name DotNet::Namespace a declaration.

  calumgrant

  committed
  83d1e0e

  Copy full SHA for 83d1e0e

• C#: Add NamespaceAccess, and make namespaces declarations.

  calumgrant

  committed
  5613769

  Copy full SHA for 5613769

• C#: Add namespace_access_expr because of nameof(Namespace)

  calumgrant

  committed
  8aeeec0

  Copy full SHA for 8aeeec0

• C#: Refactor local data flow step relations

  hvitved

  committed
  982f90d

  Copy full SHA for 982f90d

• Merge pull request #1600 from AndreiDiaconu1/ircsharp

  Show description for d2bee79
  calumgrant

  authored
  d2bee79

  Copy full SHA for d2bee79

Commits on Aug 28, 2019

• Fixed unused predicate error

  

  AndreiDiaconu1

  committed
  deeff07

  Copy full SHA for deeff07

• Fixed errors

  Show description for 489dbe1
  

  AndreiDiaconu1

  committed
  489dbe1

  Copy full SHA for 489dbe1

• Synced files

  

  AndreiDiaconu1

  committed
  05ae04d

  Copy full SHA for 05ae04d

• Fixed PR errors

  

  AndreiDiaconu1

  committed
  66948b4

  Copy full SHA for 66948b4

• Tidy up + more comment

  Show description for 7390606
  

  AndreiDiaconu1

  committed
  7390606

  Copy full SHA for 7390606

• Casts and IsExpr

  Show description for 0c6ffc9
  

  AndreiDiaconu1

  committed
  0c6ffc9

  Copy full SHA for 0c6ffc9

• Added cast exprs + deleted commented code

  

  AndreiDiaconu1

  committed
  c8a3f6f

  Copy full SHA for c8a3f6f

• Fixed sanity checks

  Show description for 34bafa7
  

  AndreiDiaconu1

  committed
  34bafa7

  Copy full SHA for 34bafa7

• Work on classes + refactor

  Show description for 23694bd
  

  AndreiDiaconu1

  committed
  23694bd

  Copy full SHA for 23694bd

• Properties

  Show description for 9018b25
  

  AndreiDiaconu1

  committed
  9018b25

  Copy full SHA for 9018b25

• Jump statements

  Show description for 1acabc7
  

  AndreiDiaconu1

  committed
  1acabc7

  Copy full SHA for 1acabc7

• Added stmts

  Show description for 2724075
  

  AndreiDiaconu1

  committed
  2724075

  Copy full SHA for 2724075

• Preliminary refactoring

  Show description for b6287b9
  

  AndreiDiaconu1

  committed
  b6287b9

  Copy full SHA for b6287b9

• Arithmetic increment and decrement expressions

  Show description for 940ba69
  

  AndreiDiaconu1

  committed
  940ba69

  Copy full SHA for 940ba69