hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-29 06:12:58 +01:00
Code Issues Packages Projects Releases Wiki Activity
17,948 Commits 1,684 Branches 159 Tags
codeql-cli/v2.4.0
Commit Graph

17948 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Geoffrey White
bdb495d58a CPP: Fix AV Rule 95 performance issue. 2019-06-18 11:25:48 +01:00
Tom Hvitved
5443f74660 C#: Reintroduce deprecated ControlFlowGraph module 2019-06-18 11:44:12 +02:00
Tom Hvitved
70c5e39c5d C#: Include extractor message in diagnostic queries 2019-06-18 11:01:26 +02:00
Geoffrey White
83ec5f1ae9 Merge pull request #1354 from denislevin/denisl/cpp/MishandlingJapaneseDatesAndLeapYear 
C++: Mishandling Japanese Era and Leap Year in calculations
 2019-06-18 09:26:35 +01:00
Geoffrey White
b9a57a46d2 CPP: More accurate qldoc comment. 2019-06-18 08:56:52 +01:00
Tom Hvitved
a1d7382a67 C#: Update expected test output 2019-06-17 20:07:54 +02:00
Mark Shannon
62591e469e Python: Avoid duplicate modules in points-to and resulting blow-up. 2019-06-17 17:53:17 +01:00
Geoffrey White
ce29047840 CPP: Resolve performance issue in CastArrayPointerArithmetic.ql's 'introducesNewField' predicate. 2019-06-17 16:33:48 +01:00
Tom Hvitved
5cc11ba232 C#: Update nuget packages 2019-06-17 13:26:11 +02:00
Tom Hvitved
d333ffb57a C#: Update to netcoreapp2.2 2019-06-17 13:21:00 +02:00
Geoffrey White
413788ae2d CPP: Fix qhelp. 2019-06-17 11:55:24 +01:00
Tom Hvitved
f408a6ddfc Merge pull request #1404 from calumgrant/cs/dispose-not-called-on-throw 
C#: Improvement to cs/dispose-not-called-on-throw
 2019-06-17 11:25:16 +02:00
Geoffrey White
415655ac23 CPP: Remove precision (for now) from a query that I've seen time out. 2019-06-17 10:07:34 +01:00
Geoffrey White
df230d2ba6 CPP: Make precision/severity more conservative for now. 2019-06-17 10:07:32 +01:00
Geoffrey White
93c4f1eea5 CPP: Autoformat. 2019-06-17 10:07:22 +01:00
Tom Hvitved
e70f17f260 C#: Remove uses of deprecated ControlFlowGraph module 2019-06-17 10:23:23 +02:00
semmle-qlci
03cf8ef94f Merge pull request #1422 from hvitved/csharp/switch-expr-completion 
Approved by calumgrant
 2019-06-17 08:33:43 +01:00
Tom Hvitved
97d2813666 C#: Refactor last predicate 
- Split up the `last` predicate into a non-recursive part `lastNonRec` and a recursive
  part `last`.
- Almost all syntactic constructs have a very simple `last` definition; a set of
  disjuncts with exactly one recursive call -- those are defined in `lastNonRec`.
- `try` statements and (last) `catch` clauses require multiple recursive calls in
  the same disjunct, and are therefore handled in the `last` predicate (as before).
- The benefit is that we only need to take care of the join order in the recursive
  call (for non-`try`/`catch` statements) in one place (the predicate `lastRec`),
  so we can get rid of many `nomagic`'ed `last`-specialisations.
 2019-06-17 09:28:56 +02:00
Denis Levin
da2422cb17 Addressed code review comments 2019-06-14 18:25:17 -07:00
Denis Levin
6a05c84282 Merge pull request #3 from geoffw0/dates-fix 
CPP: Fixes for C++: Mishandling Japanese Era and Leap Year in calculations #1354
 2019-06-14 11:21:52 -07:00
Mark Shannon
f29dfa5112 Python: Add clarifying comment and pragma. 2019-06-14 16:57:32 +01:00
Calum Grant
1e7ce8cd31 Merge pull request #1451 from hvitved/csharp/element-preds 
C#: Move two predicates from `csharp/Element.qll` to `dotnet/Element.qll`
 2019-06-14 16:21:28 +01:00
Mark Shannon
a5fbbdeaf1 Python: Minor performance enhancements. 2019-06-14 16:16:06 +01:00
Geoffrey White
8ebc0b9c39 CPP: Add basic .qhelp for Adding365daysPerYear.ql. 2019-06-14 14:25:02 +01:00
Geoffrey White
f1b76be57f CPP: Fix LeapYear.qhelp. 2019-06-14 14:25:01 +01:00
yh-semmle
87ebc178cc Merge pull request #1457 from felicity-semmle/1.21/java-ecj-support 
Java 1.21: clarify ECJ support
 2019-06-14 07:38:39 -04:00
Taus
584b0a36ad Merge pull request #1458 from markshannon/fix-typo 
Python: Fix 2 typos.
 2019-06-14 13:33:39 +02:00
Taus
51e06376a3 Merge pull request #1456 from markshannon/python-remove-value-get-source 
Python: Remove Value.getSource(). It has no use.
 2019-06-14 13:33:08 +02:00
Tom Hvitved
f56c1df732 C#: Remove deprecated predicates 2019-06-14 13:26:24 +02:00
Mark Shannon
91efce92bd Python: Fix 2 typos. 2019-06-14 11:49:15 +01:00
Mark Shannon
1d269b0cd5 Python: Add extra test for pruning. 2019-06-14 09:59:28 +01:00
Felicity Chapman
f6aa9b648b Add footnote about the Maven Compiler and Takari Lifecycle plugins 2019-06-14 08:56:42 +01:00
Jonas Jensen
41d5d5ab86 Merge pull request #1438 from geoffw0/assignedvalue 
CPP: Support for aggregate initializers in getAnAssignedValue()
 2019-06-14 00:37:46 -07:00
Denis Levin
7ff8fcd50e Some more typo fixes and a fix to test files 2019-06-13 17:16:30 -07:00
Denis Levin
ad489db815 Corrections related to the review comments. 2019-06-13 13:04:42 -07:00
Mark Shannon
30e1cbc5fc Python: Remove Value.getSource(). It has no use. 2019-06-13 18:23:54 +01:00
Mark Shannon
00fa80346b Python (pruning): Fix up handling of integer inequality. 2019-06-13 18:20:15 +01:00
Mark Shannon
a3d50e88cd Python (pruning): Refactor a bit and all comments for clarity. 2019-06-13 17:42:53 +01:00
Mark Shannon
e1fb1d27a1 Python: Fix logic in pruning for tests like 'x != 0' as that does not imply that 'x is None' is false. 2019-06-13 17:26:43 +01:00
Geoffrey White
37a1c48071 CPP: Optimize AV Rule 71.ql. 2019-06-13 15:30:56 +01:00
Max Schaefer
b9703b70ed Merge pull request #1452 from markshannon/merge-121 
Merge rc/1.21 into master.
 2019-06-13 15:05:09 +01:00
Calum Grant
8354f813f7 Merge pull request #1419 from hvitved/csharp/stubs 
C#: Improvements to `Stubs.qll`
 2019-06-13 14:17:24 +01:00
Taus
635de7cbe9 Merge pull request #1440 from markshannon/python-sanity-improvements 
Python sanity improvements
 2019-06-13 14:59:43 +02:00
Mark Shannon
660eda9f81 Python: Remove redundant override. 2019-06-13 12:41:56 +01:00
Mark Shannon
77030c4dde Merge branch 'rc/1.21' into 'master' 2019-06-13 12:32:45 +01:00
Mark Shannon
4a4ed69ade Python: Make sure that all Modules and ModuleObjects (even unused packages) have a working toString(). 2019-06-13 12:22:38 +01:00
Tom Hvitved
8c8929a702 C#: Move two predicates from csharp/Element.qll to dotnet/Element.qll 2019-06-13 13:00:18 +02:00
semmle-qlci
8a43fdc806 Merge pull request #1448 from xiemaisi/js/fix-access-paths-perf-regression 
Approved by esben-semmle
 2019-06-13 10:13:27 +01:00
semmle-qlci
bffc3307b5 Merge pull request #1450 from esben-semmle/js/classify-json-js-as-generated 
Approved by xiemaisi
 2019-06-13 09:45:37 +01:00
Anders Schack-Mulligen
37931a92e2 Merge pull request #1383 from yh-semmle/java-dbscheme-diagnostics 
Java: add compilation/diagnostic relations to dbscheme
 2019-06-13 10:13:40 +02:00