hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 05:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
f7faaa634f2037b8a2b652dcd13c33e387af1534
codeql/cpp/ql/test/library-tests
History
Dave Bartolomeo 82e2816915 C++: Fix handling of std::va_list that is used as a function parameter 
In the Unix ABI, `std::va_list` is defined as `typedef struct __va_list_tag { ... } va_list[1];`, which means that any `std::va_list` used as a function parameter decays to `struct __va_list_tag*`. Handling this actually made the QL code slightly cleaner. The only tricky bit is that we have to determine what type to use as the actual `va_list` type when loading, storing, or modifying a `std::va_list`. To do this, we look at the type of the argument to the `va_*` macro. A detailed QLDoc comment explains the details.

I added a test case for passing a `va_list` as an argument, and then manipulating that `va_list` in the callee.
2020-03-20 12:53:09 -04:00
..
__builtin_constant_p
C++: remove all uses of deprecated 'extractor_flags'
2018-08-07 09:48:27 +01:00
abi
C++: remove all uses of deprecated 'extractor_flags'
2018-08-07 09:48:27 +01:00
access
CPP: Add a simplified test case for ImplicitThisFieldAccess.
2019-10-10 10:04:32 +01:00
alias_templates
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
allocators
CPP: Autoformat.
2019-12-03 09:00:43 +00:00
anachronisms
C++: remove all uses of deprecated 'extractor_flags'
2018-08-07 09:48:27 +01:00
arg_matching
C++: Fix formatting
2020-03-19 09:18:32 -04:00
arguments
C++: Autoformat.
2020-01-29 13:11:50 +01:00
array_expr
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
array_sizes
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
atomic
C++: Accept test changes
2018-10-18 12:36:42 +01:00
attributes
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
basic_blocks
C++: Autoformat.
2020-01-29 13:11:50 +01:00
blocks
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
bugs/odasa-2709
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
builtins
[CPP-418] Update references to BuiltInOperationBuiltInOffsetOf and __builtin_offsetof.
2019-11-12 17:35:50 +00:00
c11_generic
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
c_overload
C++: remove all uses of deprecated 'extractor_flags'
2018-08-07 09:48:27 +01:00
c++_exceptions
C++: Autoformat.
2020-01-29 13:11:50 +01:00
calls
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
cast_specifiers
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
clang_builtin_macros
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
clang_c99_default
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
clang_cpp14_17
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
clang_ms
C++: Fix toString() predicates that don't hold
2019-12-13 17:06:05 -07:00
classes
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
comments
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
compiler_generated
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
complex_numbers
C++: Make complex_numbers/expr.ql less brittle
2019-10-03 13:19:16 +02:00
complexity
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
conditions
C++: Fix toString() predicates that don't hold
2019-12-13 17:06:05 -07:00
constants
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
constexpr_if
C++: Autoformat.
2020-01-29 13:11:50 +01:00
controlflow
C++/C#: Move sanity check inside InstructionSanity module and accept tests
2020-02-23 20:53:49 +01:00
controlflow_stresstest
C++: Use StackVariable in SSA libraries
2019-11-19 11:30:59 +01:00
conversions
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
cpp11_g
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
cpp_builtin_types
C++: replace getType().getUnspecifiedType()
2019-05-20 15:08:28 +01:00
CPP-205
C++: Autoformat.
2020-01-29 13:11:50 +01:00
CPP-206
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
CPP-207
C++: remove all uses of deprecated 'extractor_flags'
2018-08-07 09:48:27 +01:00
ctorinits
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
dataflow
C++: Fixup test .expected files after merge.
2020-03-16 15:45:29 +00:00
declaration
C++: Accept test changes
2018-10-26 11:07:18 +01:00
declarationEntry
C++: Expand the test as described in ODASA-640.
2020-02-27 15:26:53 +00:00
declspec/guard
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
declstmt
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
default_parameters
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
defuse
Merge remote-tracking branch 'upstream/master' into StackVariable
2019-11-28 17:51:20 +01:00
depends_addressable
C++: Force LF for .c,.cpp,.h,.hpp
2018-09-23 16:23:52 -07:00
depends_friends
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
depends_initializers
C++: Accept slight CFG regression in static init
2019-10-03 11:48:03 +02:00
derived_types
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
destructors
C++: Autoformat.
2020-01-29 13:11:50 +01:00
diagnostics
C++: remove all uses of deprecated 'extractor_flags'
2018-08-07 09:48:27 +01:00
digraphs
C++: remove all uses of deprecated 'extractor_flags'
2018-08-07 09:48:27 +01:00
enums
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
environment
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
exclusions
C++: Factor out isFromMacroDefinition predicate
2019-11-13 14:07:33 +01:00
exprs
CPP: Add a test of ConditionalDeclExpr.
2019-09-17 17:38:54 +01:00
exprs_basic
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
exprs_cast
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
fields
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
files
Update cpp/ql/test/library-tests/files/Files.ql
2019-12-16 13:38:36 +00:00
floats
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
fold
C++: remove pointless predicate
2019-05-02 11:16:21 +01:00
friends
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
fun_decl
C++: Test fun_decl for INVALID_KEYs
2019-10-15 14:47:32 +01:00
funcdname
C++: remove all uses of deprecated 'extractor_flags'
2018-08-07 09:48:27 +01:00
function_try_stmt
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
functionpointerish
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
functions
C++: Merge two tests of UnusedStaticFunctions from the library-tests into the existing test in query-test.
2020-01-23 11:05:47 +00:00
identifiers/qualified_names
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
identity_string
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
includes
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
instantiations
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
ir
C++: Fix handling of std::va_list that is used as a function parameter
2020-03-20 12:53:09 -04:00
lambdas
C++: Update tests following extractor no longer extracting some unused types
2020-03-03 01:30:18 +00:00
languages
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
large_expressions
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
literal_locations
C++: Use StackVariable in def-use libraries
2019-11-19 11:30:59 +01:00
literals
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
locations
C++: Update with improved location information
2020-02-05 09:11:23 +00:00
loops
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
lossy_pointer_cast
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
macros
C++: Fix toString() predicates that don't hold
2019-12-13 17:06:05 -07:00
members
C++: Autoformat.
2020-01-29 13:11:50 +01:00
multiple_declarations
C++: Tests for variables with ambiguous types
2020-03-03 14:45:04 +01:00
naked_attribute
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
name_qualifiers
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
namespaces
C++: Update test for fix to namespace members
2019-09-23 16:04:59 +01:00
nested_functions/nested_functions
C++: Autoformat.
2020-01-29 13:11:50 +01:00
noexcept
C++: Update expected results.
2019-11-07 14:08:25 +00:00
nulltermination
CPP: Re-layout test.
2020-01-20 15:00:09 +00:00
numlines
C++: Autoformat.
2020-01-29 13:11:50 +01:00
odasa2646
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
operators
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
opts
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
padding
C++: Force LF for .c,.cpp,.h,.hpp
2018-09-23 16:23:52 -07:00
parameters
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
permissive
C++: Update for EDG 6.0 behaviour change
2020-02-05 09:11:23 +00:00
pod
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
pointsto
C++: Autoformat.
2020-01-29 13:11:50 +01:00
predefines
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
preprocessor
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
proxy_class
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
ptr_to_member/segfault
C++: Fix toString() predicates that don't hold
2019-12-13 17:06:05 -07:00
qualifiers/class-enum
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
question_mark_colon
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
range_based_for
C++: add more extensive test for desugaring of range-based-for loops
2020-02-20 16:15:22 +00:00
rangeanalysis
C++: Fix failed tests
2020-03-13 06:46:07 -04:00
reachability
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
rvalueCast
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
rvaluerefs
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
sal
QL code and tests for C#/C++/JavaScript.
2018-08-02 17:53:23 +01:00
scanf
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
scopes
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
sideEffects
C++: Add aggregate literals to sideEffects test
2019-09-24 11:28:57 +01:00
special_members
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
specifiers
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
specifiers2
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
specifiers3
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
static_assert
C++: remove all uses of deprecated 'extractor_flags'
2018-08-07 09:48:27 +01:00
static_cast
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
std_layout
C++: test for Class::isStandardLayout()
2018-09-19 10:26:11 +01:00
stmt
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
stmt_expr
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
store_pointer_to_member
C++: remove all uses of deprecated 'extractor_flags'
2018-08-07 09:48:27 +01:00
string_analysis
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
string_literals
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
string_literals_nul
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
structs
C++: Autoformat.
2020-01-29 13:11:50 +01:00
sub_basic_blocks
C++: Autoformat.
2020-01-29 13:11:50 +01:00
switch
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
switch_cfg
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
synchronization
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
syntax-zoo
C++: Fix failed tests
2020-03-13 06:46:07 -04:00
templates
C++: Update tests following extractor no longer extracting some unused types
2020-03-03 01:30:18 +00:00
ti_compiler
C++: remove all uses of deprecated 'extractor_flags'
2018-08-07 09:48:27 +01:00
type_sizes
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
type_strings
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
typedefs
C++: Update tests for new CTypedefType.
2019-09-23 13:57:50 +01:00
typename
Normalize all text files to LF
2018-09-23 16:24:31 -07:00
types
CPP: Add a test of ErroneousType.
2019-11-13 18:53:43 +00:00
udl
C++: remove all uses of deprecated 'extractor_flags'
2018-08-07 09:48:27 +01:00
unions
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
unnamed
C++: Fix toString() predicates that don't hold
2019-12-13 17:06:05 -07:00
unspecified_type
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
using-aliases
C++: Add tests for using aliases
2019-09-23 13:57:50 +01:00
usings
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
valuenumbering
C++/C#: Move sanity check inside InstructionSanity module and accept tests
2020-02-23 20:53:49 +01:00
variables
C++: Fix failed tests
2020-03-13 06:46:07 -04:00
vector_sizes
C++: Add further vector_size attribute tests
2019-09-27 11:28:31 +01:00
vector_types
C++: Autoformat everything
2019-09-09 11:25:53 +02:00
virtual_functions
C++: Autoformat.
2020-01-29 13:11:50 +01:00
vla
C++: Autoformat.
2020-01-29 13:11:50 +01:00