6634 Commits

Author SHA1 Message Date
James Fletcher
aa05908d19 Merge pull request #2287 from felicitymay/1.22/support-codeql
1.22: Update for support info for CodeQL term change
2019-11-09 22:07:34 +00:00
Felicity Chapman
25eb1d0cc9 Update for CodeQL term change and port nav changes 2019-11-09 14:36:35 +00:00
Sam Lanning
b67c5f2cbc Merge pull request #2083 from jf205/training-logo
QL training: add semmle logo image to title slide
v1.22.2
2019-10-04 11:33:06 -07:00
james
4a8e8fa0de docs: semmle logo 2019-10-04 09:28:45 +01:00
semmle-qlci
47024dc6ec Merge pull request #2069 from felicitymay/1.22/SD-3940-golang
Approved by jf205
2019-10-02 10:40:38 +01:00
Felicity Chapman
56ed2f618d Add alias for easier user-searching 2019-10-02 09:05:31 +01:00
shati-patel
ff093c26a1 Merge pull request #2057 from jf205/small-fixes
QL training slides: increase release number and small css tweaks
2019-09-30 14:28:30 +01:00
james
ff78feeeea docs: version number and small css tweaks 2019-09-30 12:15:26 +01:00
Felicity Chapman
91a8391c84 Merge pull request #2037 from jf205/python-docs-fixes
docs: fix some formatting issues
2019-09-27 08:47:49 +01:00
james
3a4cef646d docs: fix some formatting issues 2019-09-26 16:04:01 +01:00
shati-patel
d4fa14a177 Merge pull request #2030 from jf205/python-docs-fixes
Learn QL: QL for Python doc fixes for 1.22
2019-09-26 10:54:21 +01:00
Rasmus Wriedt Larsen
94d876e8a3 Learn QL: Fix query link in Python Points-to tutorial
(cherry picked from commit c6c565bc37)
2019-09-26 10:44:29 +01:00
Rasmus Wriedt Larsen
9511465f04 Learn QL: Minor formatting fix in python/statements-expressions
(cherry picked from commit c47a4e0c44)
2019-09-26 10:44:29 +01:00
semmle-qlci
18a52c3825 Merge pull request #2006 from felicitymay/1.22/supported-systems
Approved by jf205, xiemaisi
2019-09-24 09:20:25 +01:00
Felicity Chapman
61b372b062 Add Go to supported languages topic and update release number 2019-09-23 17:52:02 +01:00
semmledocs-ac
573796c0ea Merge pull request #1984 from jf205/ql-links/sd-3902
docs: fix links in QL topics
2019-09-20 11:37:59 +01:00
james
06b391ef9b docs: fix links 2019-09-20 11:14:16 +01:00
Felicity Chapman
d9df5afc44 Merge pull request #1958 from jf205/slide-buttons
docs: a few slide improvements
2019-09-19 11:39:41 +01:00
Calum Grant
68a67c396d Merge pull request #1944 from lcartey/csharp/autobuild-multiple-solutions
C# autobuilder: Build all solutions at the highest depth
v1.22.1
2019-09-19 10:49:49 +01:00
james
4adda1056f docs: better fix for width on notes 2019-09-19 09:27:28 +01:00
james
8b13e32598 docs: add icons on slides with notes 2019-09-19 08:44:36 +01:00
james
1d0a96f0a1 docs: mention icons on training homepage 2019-09-19 08:44:13 +01:00
james
86069df9ee docs: mention graphviz in readme 2019-09-19 08:44:08 +01:00
james
9242507487 docs: removed unused extension from conf.py 2019-09-19 08:44:01 +01:00
james
b07e1fa08d docs: slightly adjust width of lists in notes 2019-09-19 08:43:48 +01:00
Tom Hvitved
0e0f78e448 Merge pull request #1943 from lcartey/csharp/ttransitivecapture-fix
C#: Include runtime target in TTransitiveCaptureCall
2019-09-18 16:36:19 +02:00
Luke Cartey
b8387bdf23 C#: Fix whitespace issues. 2019-09-18 14:43:43 +01:00
Luke Cartey
af41a0a927 C#: Add autobuilder unit test for multiple csproj files. 2019-09-18 13:12:46 +01:00
Luke Cartey
407f6349a3 C#: Fix potential bug in CaptureOutNode.
In theory this bug could associated CaptureOutNodes with the wrong transitively called
callable. However, in practice I could not create a test case that revealed incorrect
behaviour. I've included one such test case in the commit.

I believe that the cause of this is that OutNode::getACall() is not actually used in the
data flow libraries. Instead, DataFlowDispatch::Cached::getAnOutNode is the predicate
which is used to associated OutNode's with DataFlowCall's in practice, and that is always
used in a context that correctly binds the runtime target of the call.
2019-09-18 11:48:29 +01:00
Luke Cartey
4ecfe97e7b C#: Adjust line numbers in test case. 2019-09-18 10:55:59 +01:00
Luke Cartey
29e4fa349a C# autobuilder: Build all solutions at the highest depth
The most common reason for the C# autobuilder to fail is because it
cannot determine a single unique .sln or .proj file to build, instead
reporting multiple sln or proj files at the same shortest depth. This
commit changes this to build all such files, rather than reporting an
error.
2019-09-17 21:27:01 +01:00
Luke Cartey
3c07caefe4 C#: Add test for transitive capture calls. 2019-09-17 15:21:30 +01:00
Luke Cartey
70c2cc595b C#: Add capture test for nested lambdas, commented out
Add a commented out version of the test, and modify the expected files
to contain the same results at new offsets.
2019-09-17 15:13:10 +01:00
semmle-qlci
e314a2ce88 Merge pull request #1939 from felicitymay/1.22/fix-blog-links
Approved by jf205
2019-09-17 12:35:48 +01:00
Luke Cartey
92b94c1a39 C#: Include runtime target in TTransitiveCaptureCall
TTransitiveCaptureCall represents a control flow node that may
transitively call many different callables which capture a variable from
the current scope. Captured variables are represented as synthetic
parameters to the callable, at negative indices. However, each of the
different targets may capture a different subset of variables from the
enclosing scope, so we must include the target along side the CFN in
order to prevent incorrect capture flow.
2019-09-17 03:05:29 -07:00
Felicity Chapman
8a27af2016 Update remaining links to blog 2019-09-17 09:30:15 +01:00
shati-patel
fd4709d43a Merge pull request #1930 from jf205/js-links-122
docs: update some links in a couple of javascript topics
2019-09-13 15:58:23 +01:00
Max Schaefer
fa4db5a841 JavaScript: Fix link to restify in library tutorial.
(cherry picked from commit af24d125388ed89dcd364697d955026a1f46fd33)
2019-09-13 15:28:21 +01:00
Max Schaefer
f1588b2622 JavaScript: Fix description of call graphs.
(cherry picked from commit 2817cf060f6a506ee51a0296b3745e7406fc7cfc)
2019-09-13 15:28:21 +01:00
james
ffa370a8ad docs: fix broken links in js topics
(cherry picked from commit e8f867204d)
2019-09-13 15:28:20 +01:00
shati-semmle
6924a88368 Merge pull request #1917 from jf205/recent-changes-122
docs: port some recent changes to rc/1.22 branch
2019-09-11 11:21:39 +01:00
Shati Patel
4a6ee7f4b3 QL HB: Add predicate call example [SD-3864]
(cherry picked from commit cfa51a0e8b)
2019-09-10 16:04:41 +01:00
Shati Patel
52583d0b86 QL HB: Explain use of cast [SD-3865]
(cherry picked from commit f5de1dc999)
2019-09-10 16:04:40 +01:00
Shati Patel
ab77d02f87 QL HB: Expand bindingset example [SD-3863]
(cherry picked from commit 4f2c9fa3cb)
2019-09-10 16:04:40 +01:00
Shati Patel
6b10ddf8fc QL HB: Fix typo [SD-3862]
(cherry picked from commit acca48bd8f)
2019-09-10 16:04:40 +01:00
james
3f4f9ec9e3 docs: update readme
(cherry picked from commit 54342a6daa)
2019-09-10 16:04:40 +01:00
james
f2baf43f74 docs: fix broken Expr links
(cherry picked from commit 9437c2d007)
2019-09-10 16:04:34 +01:00
shati-semmle
2a3c6a9ac4 Vale linter: fix typo
(cherry picked from commit 4d98b4c3a1)
2019-09-10 16:03:10 +01:00
james
cf8fbca218 docs: improve slide layout for printing
(cherry picked from commit f78ce146f1)
2019-09-10 16:03:09 +01:00
james
358be7419d docs: updated slide background
(cherry picked from commit ecc2449c1c)
2019-09-10 16:03:09 +01:00