Repository navigation

Master-to-next merge - #534

Closed

semmle-qlci wants to merge 130 commits into

nextfrom

qlucie/master

Closed

Master-to-next merge#534
semmle-qlci wants to merge 130 commits into
nextfrom
qlucie/master

Commits on Nov 5, 2018
- CPP: Add test case.
  geoffw0
  committed
  b4adfec
- CPP: Exclude code in macro invocations.
  geoffw0
  committed
  3cb4211
- CPP: Change note.
  geoffw0
  committed
  27fe996
Commits on Nov 12, 2018
- C#: Refactor SSA liveness logic
  hvitved
  committed
  21887d7
- CPP: Tag Magic*UseConstant queries.
  geoffw0
  committed
  93b3165
- CPP: Tag Include queries.
  geoffw0
  committed
  850937e
- CPP: Tag NVI queries.
  geoffw0
  committed
  bcb4ebf
- CPP: Tag Padding queries.
  geoffw0
  committed
  1c27c5e
Commits on Nov 13, 2018
- JS: introduce DefinedCustomAbstractValue
  Esben Sparre Andreasen
  committed
  1d87c58
- JS: support property tracking of custom abstract values
  Esben Sparre Andreasen
  committed
  daed065
Commits on Nov 14, 2018
- Minor updates for consistency
  Felicity Chapman
  committed
  f9612a8
- Fix partial edit - thanks Tom
  Felicity Chapman
  committed
  39ef869
- CPP: Add a test of AV Rule 165.
  geoffw0
  committed
  5cddabb
- CPP: Fix for explicitly cast expressions.
  geoffw0
  committed
  3f428a8
- CPP: Add a test of AV Rule 164.
  geoffw0
  committed
  3028e85
- CPP: Fix for explicitly cast expressions.
  geoffw0
  committed
  d1adc0e
Commits on Nov 16, 2018
- C#: Convert security queries to path-problem and update qltest expected output.
  calumgrant
  committed
  eddc528
- C#: Always use PathNode in a path-problem query.
  calumgrant
  committed
  e908b09
- C#: Address review comments - adding .getNode() where appropriate.
  calumgrant
  committed
  cf4b04a
- CPP: Add a test of LimitedScopeFile.
  geoffw0
  committed
  0e5d23e
- CPP: Exclude variables that are part of an interface.
  geoffw0
  committed
  e253ab5
- CPP: Modify similar query as well.
  geoffw0
  committed
  1cba1d0
- CPP: Add a test for LimitedScopeFunction.
  geoffw0
  committed
  b70c572
- CPP: Exclude variables that are part of an interface.
  geoffw0
  committed
  2d07410
- CPP: Exclude variables that have non-function accesses.
  geoffw0
  committed
  9f688eb
- CPP: Modify similar query as well.
  geoffw0
  committed
  a51b984
Commits on Nov 19, 2018
- JavaScript: Sort change notes alphabetically.
  Max Schaefer
  committed
  db175f5
- JavaScript: Downgrade a few "error" rules to "warning".
  Max Schaefer
  committed
  1b59a28
- JavaScript: Tweak `JSLint` library to avoid bad join order.
  Max Schaefer
  committed
  73ad3f5
- CPP: Add a test for OffsetUseBeforeRangeCheck.ql.
  geoffw0
  committed
  01611d4
- CPP: getAChild() -> getAChild*().
  geoffw0
  committed
  6cdfaee
- CPP: Check for a range check before the use.
  geoffw0
  committed
  e725057
- CPP: Give OffsetUseBeforeRangeCheck.ql a precision.
  geoffw0
  committed
  cf27978
- JavaScript: Remove accidentally committed `.actual` file.
  Max Schaefer
  committed
  6021d24
- Merge pull request #475 from geoffw0/av_164
  jbj
  authored
  2ce2c0a
- Merge pull request #476 from geoffw0/av_165
  jbj
  authored
  6d17642
- Merge pull request #485 from geoffw0/limitedscopefunction
  jbj
  authored
  111df47
- CPP: Change note.
  geoffw0
  committed
  646bb01
- CPP: Add recommended test.
  geoffw0
  committed
  6a14748
- CPP: Apply recommended fix.
  geoffw0
  committed
  33130b9
- CPP: Add a test case.
  geoffw0
  committed
  d18a701
- CPP: Fix FPs from AV Rule 114.ql.
  geoffw0
  committed
  5cae652
- Merge pull request #490 from xiemaisi/js/remove-actual
  semmle-qlci
  authored
  f5e25e6
Commits on Nov 20, 2018
- Merge pull request #486 from xiemaisi/js/lower-severities
  semmle-qlci
  authored
  7df397f
- Merge pull request #487 from xiemaisi/js/lint-join-order
  semmle-qlci
  authored
  26a248b
- Fix incorrect tag
  Felicity Chapman
  committed
  fc6e9be
- JS: address review comments
  Esben Sparre Andreasen
  committed
  ee7a6af
- JS: support "xyz:nomunge" YUI compressor directives
  Esben Sparre Andreasen
  committed
  54fea1a
- C#: Address review comments
  hvitved
  committed
  9f7eef0
- Merge pull request #405 from geoffw0/selfcompare
  jbj
  authored
  cc28d04
- C++: Remove @precision from AV Rule 78
  jbj
  committed
  d7c2f9d
- Merge pull request #495 from geoffw0/returnvalue
  jbj
  authored
  6c0305c
- CPP: Clean up / normalize some test code.
  geoffw0
  committed
  342164f
- JS: support indirection with extra args in js/missing-this-qualifier
  Esben Sparre Andreasen
  committed
  82fc8ae
- JavaScript: Make `TargetBlank` only highlight the first line of the link.
  Max Schaefer
  committed
  c1690a6
- Merge pull request #470 from esben-semmle/custom-abstract-values-only
  semmle-qlci
  authored
  8333f72
- Merge pull request #496 from esben-semmle/js/yui-directives
  semmle-qlci
  authored
  1c1d2e9
- Merge pull request #449 from hvitved/csharp/ssa/live-at-rank
  semmle-qlci
  authored
  4b5f24d
- Merge pull request #472 from felicity-semmle/csharp/SD-2778-qhelp-update
  hvitved
  authored
  252b756
- Merge pull request #498 from geoffw0/test-cleanup
  jbj
  authored
  33111b6
- C#: Compute phi inputs in pre-SSA library
  hvitved
  committed
  2515026
- C#: Generalize pre-SSA library to include local-scope-like fields/properties
  hvitved
  committed
  3e78c26
- CPP: Add change notes for my recent changes.
  geoffw0
  committed
  e8f967a
- CPP: Add change notes for new query contributions.
  geoffw0
  committed
  7df7d8d
- CPP: Add change notes for some more changes.
  geoffw0
  committed
  d8381ef
- Merge pull request #497 from jbj/disable-no-virtual-destructor
  geoffw0
  authored
  0493b68
- CPP: Change note.
  geoffw0
  committed
  ae91581
- CPP: Add missing file.
  geoffw0
  committed
  9922e36
- CPP: Tag the JSF queries.
  geoffw0
  committed
  bb7da78
- CPP: Add an external/jsf tag as well.
  geoffw0
  committed
  8aeaf0b
- CPP: Fix typo.
  geoffw0
  committed
  3c7ed9b
- Merge pull request #499 from xiemaisi/js/target-blank-location
  semmle-qlci
  authored
  b21b066
- Merge pull request #489 from hvitved/csharp/pre-ssa-extensions
  calumgrant
  authored
  87072df
- C#: Add CFG test
  hvitved
  committed
  8412185
- C#: Fix Boolean splitting negation bug
  hvitved
  committed
  89d5daa
- C#: Fix Boolean splitting for variables defined in a loop
  hvitved
  committed
  8233e34
Commits on Nov 21, 2018
- C++: Add Uninitialized instruction for list-initialized variables
  dave-bartolomeo
  committed
  07f9fe6
- C++: Add IR support for ConditionalDeclExpr
  dave-bartolomeo
  committed
  3715215
- JS: address review comments
  Esben Sparre Andreasen
  committed
  01ad9ed
- JS: use inheritance in `js/mixed-static-instance-this-access`
  Esben Sparre Andreasen
  committed
  caea621
- Merge pull request #471 from geoffw0/query-tags-2
  jbj
  authored
  f177e34
- C#: Fix ReDoS query.
  calumgrant
  committed
  8c753d7
- Merge pull request #491 from hvitved/csharp/cfg/split-negation
  calumgrant
  authored
  1b12e84
- JavaScript: Teach AutoBuild to exclude minified files from extraction by default .
  Max Schaefer
  committed
  19aa121
- C#: Add `nodes` predicate to all path queries.
  calumgrant
  committed
  69ab1ed
- CPP: Modify NVIHub.ql.
  geoffw0
  committed
  b4846dc
- Merge pull request #484 from geoffw0/limitedscopefile
  jbj
  authored
  4e2d40a
- CPP: Backticks.
  geoffw0
  committed
  cab6f1e
- CPP: Combine two of the Missing return statement change notes.
  geoffw0
  committed
  1b69006
- Merge pull request #456 from geoffw0/query-tags
  jbj
  authored
  a4bd586
- Merge pull request #510 from xiemaisi/js/exclude-minified
  semmle-qlci
  authored
  746b13a
- Merge pull request #508 from esben-semmle/js/indirect-global-call-with-default-arguments
  semmle-qlci
  authored
  f5d3274
- Merge pull request #507 from esben-semmle/js/mixed-static-intance-this-access-inheritance
  semmle-qlci
  authored
  4e72a08
- Merge pull request #492 from geoffw0/offsetuse
  semmle-qlci
  authored
  62db19b
- C#: Update test outputs.
  calumgrant
  committed
  3eae1cd
Commits on Nov 22, 2018
- C++: Allow filtering of IR creation to speed up dumps
  dave-bartolomeo
  committed
  03802ed
- C++: Skip IR translation for functions with invalid ASTs
  dave-bartolomeo
  committed
  7db36b2
- C++: Add tests for filtering bad ASTs
  dave-bartolomeo
  committed
  97fd7b4
- C++: Sync identical files
  dave-bartolomeo
  committed
  beb9c9c
- Merge pull request #509 from dave-bartolomeo/dave/ConditionDeclExpr
  jbj
  authored
  70e9d11
- C++: Deprecate queries using VCS.qll
  jbj
  committed
  220487b
- Merge pull request #504 from geoffw0/more-change-notes
  jbj
  authored
  1739cab
- Merge pull request #517 from dave-bartolomeo/dave/IRFilter
  jbj
  authored
  e062851
- C++: Placement-new tests for MemoryNeverFreed.ql
  jbj
  committed
  a17deba
- Update qhelp for consistency
  Felicity Chapman
  committed
  8cad0b6
- C++: Detect non-allocating placement new
  jbj
  committed
  75873bb
- Merge pull request #367 from calumgrant/cs/path-problems
  hvitved
  authored
  201f64e
- JS: sharpen `js/clear-text-logging` (ODASA-7485)
  Esben Sparre Andreasen
  committed
  b780f82
- C++: Accept test changes for IR
  jbj
  committed
  da26b4f
- Merge pull request #518 from jbj/vcs-deprecate-queries
  pavgust
  authored
  b9a3a71
- Merge pull request #521 from felicity-semmle/cpp/update-qhelp
  geoffw0
  authored
  dc224c5
- CPP: Add some test cases involving dataflow.
  geoffw0
  committed
  01ba635
- CPP: Add local dataflow to (one bit of) OverflowStatic.ql.
  geoffw0
  committed
  ea56a5d
- CPP: Add change note.
  geoffw0
  committed
  16be502
- CPP: localFlowStep* -> localFlow.
  geoffw0
  committed
  d57574e
- CPP: Be conservative where there are multiple flow sources.
  geoffw0
  committed
  cb609f4
- TS: only transfer offsets as part of the AST
  asger-semmle
  committed
  b5008d8
- Merge pull request #525 from jbj/uninit-badast-mergefix
  semmle-qlci
  authored
  816a94e
- Java: deprecate queries that use `VCS.qll`
  yh-semmle
  committed
  1b84fce
Commits on Nov 23, 2018
- Merge pull request #524 from geoffw0/cpp-299
  jbj
  authored
  4ad5923
- C#: Move autobuilder into separate folder
  hvitved
  committed
  b95d7e5
- C#: Recognize `.proj` files in autobuilder
  hvitved
  committed
  836daaf
- C#: Address review comments
  hvitved
  committed
  e4f68ae
- C#: Guard against cyclic inclusions in project files
  hvitved
  committed
  c3ccdfa
- C#: Address review comments
  hvitved
  committed
  1939773
- Merge pull request #523 from jbj/placement-new-never-freed
  geoffw0
  authored
  0a27022
- Merge pull request #531 from yh-semmle/java/deprecate-vcs
  aschackmull
  authored
  a0d8888
- Merge pull request #529 from asger-semmle/js-line-map
  semmle-qlci
  authored
  817456e
- Merge pull request #520 from esben-semmle/js/clear-text-logging-taint-kinds
  semmle-qlci
  authored
  04c2b23
- Merge pull request #512 from hvitved/csharp/autobuilder/dirs-proj
  adityasharad
  authored
  10dc183

Commits

Commits on Nov 5, 2018

Commits on Nov 12, 2018

Commits on Nov 13, 2018

Commits on Nov 14, 2018

Commits on Nov 16, 2018

Commits on Nov 19, 2018

Commits on Nov 20, 2018

Commits on Nov 21, 2018

Commits on Nov 22, 2018

Commits on Nov 23, 2018