Commit Graph

481 Commits

Author SHA1 Message Date
Anders Schack-Mulligen
ccbd8aaebc Java: Improve alert message of IntMultToLong. 2018-09-12 10:13:57 +02:00
semmle-qlci
9e0ba51280 Merge pull request #179 from esben-semmle/js/classify-multi-license-fix
Approved by asger-semmle
2018-09-11 21:30:10 +01:00
Dave Bartolomeo
49b8db9631 Merge pull request #180 from jbj/ArrayType-size-docs
C++: Document the three predicates for array size
2018-09-11 10:11:45 -07:00
Esben Sparre Andreasen
43c65e02ec JS: classify bundle files based on multiple license comments 2018-09-11 15:40:24 +02:00
Jonas Jensen
4304a4e1bc C++: Fix docs copy-paste error 2018-09-11 15:39:44 +02:00
Jonas Jensen
d956bf90ad C++: Document the three predicates for array size 2018-09-11 15:15:44 +02:00
ian-semmle
628d7b95d9 Merge pull request #178 from jbj/ir-duplicateOperand-perf
C++: IR: InstructionSanity::duplicateOperand perf
2018-09-11 12:53:27 +01:00
Jonas Jensen
3c3cc2eb3e Merge pull request #175 from hvitved/merge-rc
Merge rc/1.18 into master
2018-09-11 13:10:02 +02:00
Jonas Jensen
ecfc53668f C++: IR: InstructionSanity::duplicateOperand perf
The `InstructionSanity::duplicateOperand` predicate used `count` instead
of `strictcount`. The 0-case of this `count` was as large as the
Cartesian product of `Instruction` and `OperandTag`, which made
`duplicateOperand` take forever to compute on large snapshots.
2018-09-11 12:04:27 +02:00
Tom Hvitved
70e713122f Merge branch 'rc/1.18' into merge-rc 2018-09-11 09:11:03 +02:00
Tom Hvitved
621d845722 Merge pull request #11 from calumgrant/cs/standalone-cfg-fixes
C#: Fix CFG for unknown expressions
2018-09-10 16:41:11 +02:00
semmle-qlci
35a83bf0cb Merge pull request #173 from aschackmull/java/mockito-verify2
Approved by yh-semmle
2018-09-10 14:31:43 +01:00
Anders Schack-Mulligen
4473ccdd5e Java: Add Mockito.verify to MockitoMockMethod. 2018-09-10 11:20:27 +02:00
semmle-qlci
b6b3581e7c Merge pull request #168 from esben-semmle/js/fix-test-case-typo
Approved by asger-semmle
2018-09-09 22:11:15 +01:00
Jonas Jensen
4051e348eb Merge pull request #169 from felicity-semmle/1.18/cpp-finalize-change-notes
LGTM 1.18: finalize change notes for C/C++
2018-09-09 15:39:40 +02:00
Felicity Chapman
a08177f16b Address initial feebback 2018-09-09 11:52:35 +01:00
Jonas Jensen
6bfbd21390 Merge pull request #159 from ian-semmle/EnumConstant
C++: Fix spurious extra qualified names for enum constants within a class
2018-09-08 14:55:33 +02:00
calum
ecb3efba34 C#: Fix merge conflicts. 2018-09-07 18:12:28 +01:00
calum
9ec2172dca C#: Fix CFG for unknown expressions, and add a test that also covers object initializer lists fixed by the extractor. 2018-09-07 17:56:44 +01:00
Tom Hvitved
f3eed4aec7 Merge pull request #163 from calumgrant/cs/extractor-fixes
C#: Add tests for extractor fixes, and improve CFG for ConstCases
2018-09-07 17:37:40 +02:00
Felicity Chapman
3eab1de2f5 Remove non-LGTM queries from notes (will move to 'studio-cpp.md') 2018-09-07 13:56:55 +01:00
Felicity Chapman
2e0818d8e6 Text changes for consistency and clarity 2018-09-07 13:55:24 +01:00
Felicity Chapman
e7116f57a0 Add query identifiers 2018-09-07 13:24:41 +01:00
Felicity Chapman
6aa6b64b81 Remove placeholders and sort table 2018-09-07 12:05:40 +01:00
calum
58cf95b155 C#: Rewrite not using if. 2018-09-07 11:37:05 +01:00
calum
0cd4340ac3 C#: Address review comment: refactor last() predicate for ConstCase and TypeCase. 2018-09-07 10:15:16 +01:00
Tom Hvitved
04f29951a5 Merge pull request #98 from calumgrant/cs/literal-conversion-fix
C#: Regression test for extractor
2018-09-07 08:42:00 +02:00
Esben Sparre Andreasen
3d3b7b0254 JS: fix typo in test case 2018-09-06 22:54:07 +02:00
Jonas Jensen
4d8a6e586f Merge pull request #156 from geoffw0/empty-file
C++: Remove empty files.
2018-09-06 20:42:43 +02:00
calum
d5eacf8c13 C#: Change expected output. Address review comments. 2018-09-06 18:20:01 +01:00
semmle-qlci
10329fa188 Merge pull request #134 from jbj/getOperandMemoryAccess-this
Approved by dave-bartolomeo
2018-09-06 09:18:57 +01:00
semmle-qlci
62e9946fe2 Merge pull request #150 from asger-semmle/ts-asi-bug
Approved by xiemaisi
2018-09-05 21:22:29 +01:00
Jonas Jensen
ec626573c8 Merge pull request #161 from adityasharad/merge/1.18-master-050918
Merge rc/1.18 into master.
2018-09-05 20:54:14 +02:00
calum
3718237acc C#: Implement CFG for ConstCase statements with a condition. 2018-09-05 18:15:47 +01:00
calum
c2f3cb6a2a C#: Update analysis change notes. 2018-09-05 17:48:45 +01:00
calum
cff00506ba C#: Implementation of case ... when ...: which was not previously handled. Move getCondition to CaseStmt. Implement the CFG and tests. 2018-09-05 17:47:31 +01:00
calum
8c2d773866 C#: Extractor test for join ... into 2018-09-05 17:19:04 +01:00
calum
7a77740979 C#: Extractor tests for
- While statements
- Object initializers
2018-09-05 17:19:04 +01:00
calumgrant
727ab94c4e Merge pull request #140 from hvitved/csharp/cfg/renaming
C#: Rename and restructure control flow graph entities
2018-09-05 17:18:08 +01:00
Aditya Sharad
f27945216f Merge rc/1.18 into master. 2018-09-05 15:32:30 +01:00
semmle-qlci
43e1e62d3a Merge pull request #133 from jbj/IRBlock-number-split
Approved by dave-bartolomeo
2018-09-05 14:58:15 +01:00
semmle-qlci
a70526f79f Merge pull request #123 from jbj/primitive-bb-number-split
Approved by dave-bartolomeo
2018-09-05 13:21:14 +01:00
Tom Hvitved
061b3d40ea C#: Fix typos in change note 2018-09-05 14:20:27 +02:00
Tom Hvitved
82b2c00c19 C#: Add change note 2018-09-05 14:20:27 +02:00
Tom Hvitved
42faabc552 C#: Rename and restructure control flow graph entities
Follow a naming structure similar to the data flow library:

- `ControlFlowNode` -> `ControlFlow::Node`.
- `CallableEntryNode` -> `ControlFlow::Nodes::EntryNode`.
- `CallableExitNode` -> `ControlFlow::Nodes::ExitNode`.
- `ControlFlowEdgeType` -> `ControlFlow::SuccessorType`.
- `ControlFlowEdgeSuccessor` -> `ControlFlow::SuccessorTypes::NormalSuccessor`.
- `ControlFlowEdgeConditional -> ControlFlow::SuccessorTypes::ConditionalSuccessor`.
- `ControlFlowEdgeBoolean` -> `ControlFlow::SuccessorTypes::BooleanSuccessor`.
- `ControlFlowEdgeNullness` -> `ControlFlow::SuccessorTypes::NullnessSuccessor`.
- `ControlFlowEdgeMatching` -> `ControlFlow::SuccessorTypes::MatchingSuccessor`.
- `ControlFlowEdgeEmptiness` -> `ControlFlow::SuccessorTypes::EmptinessSuccessor`.
- `ControlFlowEdgeReturn` -> `ControlFlow::SuccessorTypes::ReturnSuccessor`.
- `ControlFlowEdgeBreak` -> `ControlFlow::SuccessorTypes::BreakSuccessor`.
- `ControlFlowEdgeContinue` -> `ControlFlow::SuccessorTypes::ContinueSuccessor`.
- `ControlFlowEdgeGotoLabel` -> `ControlFlow::SuccessorTypes::GotoLabelSuccessor`.
- `ControlFlowEdgeGotoCase` -> `ControlFlow::SuccessorTypes::GotoCaseSuccessor`.
- `ControlFlowEdgeGotoDefault` -> `ControlFlow::SuccessorTypes::GotoDefaultSuccessor`.
- `ControlFlowEdgeException` -> `ControlFlow::SuccessorTypes::ExceptionSuccessor`
2018-09-05 14:20:26 +02:00
calumgrant
8263b248b7 Merge pull request #152 from hvitved/csharp/base-ssa
C#: Fix bug in BaseSsa library
2018-09-05 13:02:56 +01:00
semmle-qlci
5fcd663e9f Merge pull request #158 from esben-semmle/js/sharpen-regexp-injection
Approved by xiemaisi
2018-09-05 12:45:59 +01:00
Ian Lynagh
ca082be371 C++: Fix spurious extra qualified names for enum constants within a class 2018-09-05 12:29:43 +01:00
Ian Lynagh
c204ec3a8f C++: Enhance qualifiers/class-enum test 2018-09-05 12:28:57 +01:00
semmle-qlci
50b5a3bd71 Merge pull request #151 from asger-semmle/ts-ambient-toplevel
Approved by xiemaisi
2018-09-05 10:52:08 +01:00