Commits

Breadcrumbs

History for

on546d750

User selector

All users

All time

Commit History

Commits on Dec 19, 2018

• C#: Reintroduce `getURL()`

  Show description for 546d750
  hvitved

  committed
  546d750

  Copy full SHA for 546d750

Commits on Dec 17, 2018

• C#: Remove `getUrl()` predicates

  Show description for ada0115
  hvitved

  committed
  ada0115

  Copy full SHA for ada0115

Commits on Dec 14, 2018

• C#: Add `getALocation()` for namespaces and namespace declarations

  hvitved

  committed
  56b80ae

  Copy full SHA for 56b80ae

Commits on Dec 13, 2018

• Merge pull request #666 from hvitved/csharp/useless-upcast-performance

  Show description for 16c0652
  calumgrant

  authored
  16c0652

  Copy full SHA for 16c0652

Commits on Dec 12, 2018

• Merge pull request #637 from hvitved/csharp/cfg/throwing-callable

  Show description for 8e546a3
  calumgrant

  authored
  8e546a3

  Copy full SHA for 8e546a3

Commits on Dec 11, 2018

• C#: Improve performance of `cs/useless-upcast`

  hvitved

  committed
  7422947

  Copy full SHA for 7422947

Commits on Dec 7, 2018

• Merge pull request #593 from hvitved/csharp/nullness

  Show description for 67d4099
  calumgrant

  authored
  67d4099

  Copy full SHA for 67d4099

• C#: Fix a bug in `ThrowingCallable`

  Show description for c887dc8
  hvitved

  committed
  c887dc8

  Copy full SHA for c887dc8

• C#: Address review comments

  hvitved

  committed
  fce8058

  Copy full SHA for fce8058

Commits on Dec 3, 2018

• C#: Fix a bug and generalize guards implication logic

  hvitved

  committed
  4739a63

  Copy full SHA for 4739a63

• Merge pull request #586 from hvitved/csharp/cfg/field-split

  Show description for 43d14ce
  calumgrant

  authored
  43d14ce

  Copy full SHA for 43d14ce

Commits on Nov 30, 2018

• C#: Teach guards library about unique assignments

  Show description for 3b0d159
  hvitved

  committed
  3b0d159

  Copy full SHA for 3b0d159

• C#: Teach guards library about conditional assignments

  Show description for ab9aa7d
  hvitved

  committed
  ab9aa7d

  Copy full SHA for ab9aa7d

• C#: Update nullness analyses

  Show description for 80144a0
  hvitved

  committed
  80144a0

  Copy full SHA for 80144a0

• Merge pull request #570 from hvitved/csharp/ssa/split-to-string

  Show description for 1c2dd3e
  calumgrant

  authored
  1c2dd3e

  Copy full SHA for 1c2dd3e

• Merge pull request #567 from hvitved/csharp/guards-splitting

  Show description for 08f5c2b
  calumgrant

  authored
  08f5c2b

  Copy full SHA for 08f5c2b

• Merge pull request #579 from hvitved/csharp/guards-loop

  Show description for ca72c8e
  calumgrant

  authored
  ca72c8e

  Copy full SHA for ca72c8e

• C#: Handle multiple-field Boolean CFG splitting

  Show description for 05b9519
  hvitved

  committed
  05b9519

  Copy full SHA for 05b9519

Commits on Nov 29, 2018

• C#: Fix bug in guards library when the guarded expression is in a loop

  Show description for a12a72e
  hvitved

  committed
  a12a72e

  Copy full SHA for a12a72e

• C#: Address review comments.

  calumgrant

  committed
  6a1ab51

  Copy full SHA for 6a1ab51

• C#: Include CFG splits in `Ssa::Definition::toString()`

  Show description for ab7a094
  hvitved

  committed
  ab7a094

  Copy full SHA for ab7a094

Commits on Nov 28, 2018

• C#: Account for split SSA definitions in guards library

  Show description for 3eb163f
  hvitved

  committed
  3eb163f

  Copy full SHA for 3eb163f

• C#: Fix false-positives in cs/index-out-of-bounds.

  calumgrant

  committed
  6c6d7e4

  Copy full SHA for 6c6d7e4

Commits on Nov 26, 2018

• Merge pull request #537 from hvitved/csharp/guards-splitting

  Show description for d1f7eef
  calumgrant

  authored
  d1f7eef

  Copy full SHA for d1f7eef

Commits on Nov 23, 2018

• C#: Make guards library work with CFG splitting

  hvitved

  committed
  03e69e9

  Copy full SHA for 03e69e9

• C#: Fix id generation of constructed methods, by avoid id clashes by ensuring that method type parameters are qualified where necessary. Add a qltest.

  calumgrant

  committed
  b67bc7b

  Copy full SHA for b67bc7b

Commits on Nov 22, 2018

• Merge pull request #367 from calumgrant/cs/path-problems

  Show description for 201f64e
  hvitved

  authored
  201f64e

  Copy full SHA for 201f64e

Commits on Nov 21, 2018

• C#: Add `nodes` predicate to all path queries.

  calumgrant

  committed
  69ab1ed

  Copy full SHA for 69ab1ed

• C#: Fix ReDoS query.

  calumgrant

  committed
  8c753d7

  Copy full SHA for 8c753d7

Commits on Nov 20, 2018

• C#: Fix Boolean splitting for variables defined in a loop

  hvitved

  committed
  8233e34

  Copy full SHA for 8233e34

• C#: Fix Boolean splitting negation bug

  hvitved

  committed
  89d5daa

  Copy full SHA for 89d5daa

• C#: Generalize pre-SSA library to include local-scope-like fields/properties

  hvitved

  committed
  3e78c26

  Copy full SHA for 3e78c26

• C#: Compute phi inputs in pre-SSA library

  Show description for 2515026
  hvitved

  committed
  2515026

  Copy full SHA for 2515026

• Merge pull request #472 from felicity-semmle/csharp/SD-2778-qhelp-update

  Show description for 252b756
  hvitved

  authored
  252b756

  Copy full SHA for 252b756

• Merge pull request #449 from hvitved/csharp/ssa/live-at-rank

  Show description for 4b5f24d
  semmle-qlci

  authored
  4b5f24d

  Copy full SHA for 4b5f24d