7 Commits

Author	SHA1	Message	Date
Jeroen Ketema	6200a1d5b9	C++: Simplify some semmle-extractor-options in tests	2024-12-19 21:46:33 +01:00
Jeroen Ketema	1a876f7762	C++: Update test expectations after extractor changes	2023-04-19 14:12:00 +02:00
Jeroen Ketema	8528e6b8e1	C++: Update test results for exposing attribute arguments as proper constants	2022-08-10 21:11:58 +02:00
Jonas Jensen	4ef5c9af62	C++: Autoformat everything ... Some files that will change in #1736 have been spared. ./build -j4 target/jars/qlformat find ql/cpp/ql -name "*.ql" -print0 | xargs -0 target/jars/qlformat --input find ql/cpp/ql -name "*.qll" -print0 | xargs -0 target/jars/qlformat --input (cd ql && git checkout 'cpp/ql/src/semmle/code/cpp/ir/implementation/**/*SSA*.qll') buildutils-internal/scripts/pr-checks/sync-identical-files.py --latest	2019-09-09 11:25:53 +02:00
Ian Lynagh	8d8a2201b7	C++: Accept changes to getValueText	2019-07-30 23:24:52 +01:00
Jonas Jensen	aaae5becf1	C++: Add addresses to Expr.isConstant ... Before this change, `Expr.isConstant` only was only true for those constant expressions that could be represented as QL values: numbers, Booleans, and string literals. It was not true for string literals converted from arrays to pointers, and it was not true for addresses of variables with static lifetime. The concept of a "constant expression" varies between C and C++ and between versions of the standard, but they all include addresses of data with static lifetime. These are modelled by the new library `AddressConstantExpression.qll`, which is based on the code in `EscapesTree.qll` and modified for its new purpose. I've tested the change for performance on Wireshark and for correctness with the included tests. I've also checked on Wireshark that all static initializers in C files are considered constant, which was not the case before.	2019-01-15 12:31:04 +01:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00