最新要闻
- 每日焦点!小朋友把山东的雪带回福建:半路化了 崩溃大哭
- 天天日报丨尼泊尔客机坠毁遇难人数升至68人:没有中国公民
- 环球焦点!王思聪打人后行政拘留为什么能暂缓执行?罗翔科普
- 天天观速讯丨AMD悄悄公布31个CPU漏洞:4个极危险、Zen4高枕无忧
- 男子花32万买比亚迪海豹 内心崩溃:汽配城都没这么难看
- 焦点要闻:节能版酷睿i9-13900T现身:35W战平12900K
- 观天下!腾讯开出48人惩治名单 马化腾曾称内部贪腐“触目惊心”
- 【环球热闻】110度高烧不退!AMD RX 7900 XTX退换货率高达11%
- 为啥北方二十三过小年 南方却是二十四?和康熙乾隆有关
- 观察:无广告一年免费用!通信UOS家庭版22.0开始推送
- 男子买898元零食P图付款 被抓现行:实际支付了1分钱
- 天天通讯!基于传奇车型AE86!丰田推出两款新能源概念改装车
- 女子骑电动车载两人闯红灯被撞 被判全责 网友:这才是公正
- 苹果回应iPhone车祸监测误报频发:正收集相关反馈
- 《新·福音战士剧场版:终》国内海报抄袭!竹也文化官方布道歉声明
- 环球今热点:几十年数学难题被谷歌研究员意外突破 当年差点被导师赶出门
手机
iphone11大小尺寸是多少?苹果iPhone11和iPhone13的区别是什么?
警方通报辅警执法直播中被撞飞:犯罪嫌疑人已投案
- iphone11大小尺寸是多少?苹果iPhone11和iPhone13的区别是什么?
- 警方通报辅警执法直播中被撞飞:犯罪嫌疑人已投案
- 男子被关545天申国赔:获赔18万多 驳回精神抚慰金
- 3天内26名本土感染者,辽宁确诊人数已超安徽
- 广西柳州一男子因纠纷杀害三人后自首
- 洱海坠机4名机组人员被批准为烈士 数千干部群众悼念
家电
世界视点!CodeQL练习1
CodeQL官方准备了一些无关编程语言的QL语言练习,我这里整理稍许来记录学习一下。
QL是一种逻辑编程语言,所以它是由逻辑公式构成的。QL使用常见的逻辑连接词(如and、or、not)、量词(如forall和exists),以及其他重要的逻辑概念,如谓词。QL还支持递归和聚合。这使得你可以使用简单的QL语法编写复杂的递归查询,并直接使用计数、总和和平均数等聚合体。
(资料图)
以下是Introdution to QL 中的练习
简单的查询
下面是一个基本查询的例子。
select "hello world"
这个查询返回字符串 "hello world"。更复杂的查询通常看起来像这样。
from /* ... variable declarations ... */where /* ... 逻辑公式 ... */select /*...表达式... */
例如,这个查询的结果是数字42。
from int x, int ywhere x=6 and y=7select x * y
注意,int
指定x
和y
的类型是 "integer"。这意味着x
和y
被限制为整数值。其他一些常见的类型有:boolean
(true
或false
),date
,float
,和string
。
简单的练习
- 字符串:写一个查询,返回字符串 "lgtm" 的长度。(提示:这里是可以应用于字符串的函数列表。)
from string swhere s = "lgtm"select s.length()
- 数字:写一个查询,返回 3^5(3 提高到 5 的幂)和 245.6 的最小值的正弦。
from float x, float ywhere x = 3.pow(5) and y = 245.6select x.minimum(y).sin()
- 布尔运算:写一个查询,返回布尔值 false 的相反值。
from boolean bwhere b = falseselect b.booleanNot()
- 日期:写一个查询,计算 2017 年 6 月 10 日至 9 月 28 日之间的天数。
from date start, date endwhere start = "10/06/2017".toDate() and end = "28/09/2017".toDate()select start.daysTo(end)
多结果的查询练习
以上练习都显示了正好有一个结果的查询,但许多查询都有多个结果。例如,下面的查询计算了1到10之间的所有毕达哥拉斯式三段论。
from int x,int y,int zwhere x in [1..10] and y in [1..10] and z in [1..10] and x*x + y*y = z*zselect x,y,z
如果了解谓词的话,还可以按照谓词的形式来编写。SmallInt
暂时可以理解为面向对象语言中的类,square
可以理解为类中的方法。SmallInt类的实例用于表示整数1到10,square()谓词表示某个整数的平方。使用这样的写法可以减少重复代码的使用
class SmallInt extends int{ SmallInt() {this in [1..10]} int square() {result = this*this}}from SmallInt x,SmallInt y,SmallInt zwhere x.square() + y.square() = z.square()select x,y,z
CodeQL查询实例
前面的例子使用了QL内置的原始类型。虽然我们选择了一个项目进行查询,但我们并没有使用该项目数据库中的信息。下面的例子查询确实使用了这些数据库,让你了解如何使用CodeQL来分析项目。使用java来举例
import javafrom Parameter pwhere not exists(p.getAnAccess())select p
from
子句定义了一个代表Java参数的变量p
。where
子句通过将参数p限制在那些未被访问的参数中来找到未使用的参数。最后,select
子句列出了这些参数。 其实不太懂什么意思....
世界视点!CodeQL练习1
实时:day02-Spring基本介绍02
【天天速看料】Redis——数据类型
每日焦点!小朋友把山东的雪带回福建:半路化了 崩溃大哭
天天日报丨尼泊尔客机坠毁遇难人数升至68人:没有中国公民
环球快资讯:golang 为图片加水印
mysql--时间
环球焦点!王思聪打人后行政拘留为什么能暂缓执行?罗翔科普
天天观速讯丨AMD悄悄公布31个CPU漏洞:4个极危险、Zen4高枕无忧
今日热文:Nginx面试题(史上最全 + 持续更新)
当前快讯:Atcoder Regular Contest ARC 153 A B C D 题解
焦点关注:PhotoEnhancer人工智能一键修复老照片,老照片修复,图像去噪
男子花32万买比亚迪海豹 内心崩溃:汽配城都没这么难看
焦点要闻:节能版酷睿i9-13900T现身:35W战平12900K
观天下!腾讯开出48人惩治名单 马化腾曾称内部贪腐“触目惊心”
Phi的反函数
【环球热闻】110度高烧不退!AMD RX 7900 XTX退换货率高达11%
为啥北方二十三过小年 南方却是二十四?和康熙乾隆有关
观察:无广告一年免费用!通信UOS家庭版22.0开始推送
111111
男子买898元零食P图付款 被抓现行:实际支付了1分钱
天天通讯!基于传奇车型AE86!丰田推出两款新能源概念改装车
CF构造题1600-1800(2)
女子骑电动车载两人闯红灯被撞 被判全责 网友:这才是公正
苹果回应iPhone车祸监测误报频发:正收集相关反馈
《新·福音战士剧场版:终》国内海报抄袭!竹也文化官方布道歉声明
Python开发的常用组件
每日观察!推荐一本正在看的书
环球今热点:几十年数学难题被谷歌研究员意外突破 当年差点被导师赶出门
B站2022百大UP主出炉:手工耿入选 走向世界的手工匠人
天天亮点!稳居春节档票房前三:《流浪地球2》官方揭秘太空电梯创作思路
世界讯息:12月新能源销量排名出炉:比亚迪吉利长安强攻 特斯拉扛不住了?
【全球独家】读编程与类型系统笔记08_面向对象变成的元素
观速讯丨长征第462发!我国成功发射一箭14星:“共享”火箭了解下
国内《新·福音战士剧场版:终》限定海报被指抄袭 官方正在联系画师确认
无法恢复!微软杀软Defender误删开始菜单/任务栏捷方式
天天观点:排量830cc 马自达转子发动机正式回归!首车发布
天天亮点!雨雪降温重心转移至南方 大范围雨雪天气明日结束
天天短讯!一步一步实现若依框架--2.3防止重复提交 repeat_submit
焦点快播:2022一年 特斯拉车主为地球节省20亿美元油费
每日消息!全球首现!四川一地发现新物种:长得特别好看
每日动态!《三体》剧版今日CCTV8、腾讯视频全网首播:会员提前看三集
天天观点:使用ActiveMQ Artemis进行重连
环球热议:千万别在有WiFi的房间里摆这种姿势
焦点观察:微软收购动视暴雪更难了!NVIDIA出手阻挠
环球观焦点:联名中国第一科幻IP!荣耀80 Pro《三体》动画定制版来了:限量卖
【全球独家】淘汰所有老款!新一代PS5主机年内到来:不向下兼容
环球热门:无磷配方 低泡易漂 绿伞洗衣液6斤17.9元
每日焦点!碰撞测试能拿一星 创维是造了什么“神仙”车
全球播报:中国科幻顶级IP首登荧屏!《三体》电视剧今晚央视、腾讯视频首播
中国制造多牛?世界最先进工厂:我们占了近一半
今日热文:堪比抢iPhone 泰国车主凌晨排队买!比亚迪泰国发运破万台
世界快报:微信全新拜年红包上线!支持语音祝福录制 动画效果太萌了
当前头条:Python树与树算法
B站大会员促销:12个月年卡到手价98元
天天动态:污染环境?代表建议允许春节分区分时燃放烟花 留住年味
每日消息!吓哭孩子!《中国奇谭》导演回应家长炮轰被网友赞:要走出国门征服老外
吃惊!杭州湿度达到100% 墙壁、窗台“挤”出水:网友吐槽难受到爆
当前聚焦:Linux中查看日志的常用命令
环球聚焦:算法学习笔记(8.2): 上下界网络流
当前最新:直播:央视网络春晚 最美女主播王冰冰亮相:王心凌等也来了
动态焦点:屏幕最小的第二代骁龙8旗舰!曝三星Galaxy S23卖6500元
老款iPhone激活原生灵动岛!DynamicCow教程来了
python批量发邮箱
有了这份Java面试中的葵花宝典,让你面试起飞!!!
每日时讯!还买什么Zen3/Zen4 6核酷睿i5-12490F到手1139元(首发1499)
焦点速讯:公司年终奖老员工人手1个30克金牌 感谢忠诚引热议:网友问还招人吗?
世界微资讯!Codeforces Round #843 (Div. 2) A1A2BCE(D待补)
储量超100万吨 瑞典发现欧洲最大稀土矿床:有望结束进口依赖
环球即时:首发4999元 Bose家庭娱乐扬声器550发布:支持TrueSpace增强原音
苹果iOS 17新特性和新功能抢先看!今年6月登场
有家长炮轰《中国奇谭》 导演回应:审美提高了就理解了
世界速看:Codeforces 1630 E Making It Bipartite 题解 (Dilworth定理)
世界播报:使用 Elasticsearch 搭建自己的搜索系统,这个厉害了。。
理解宏定义
2023春节新片预售票房破3000万:黑马杀出 《流浪地球2》仅排第三
数字化“乡村小道”跑得不舒服,试试低代码“高速公路”
当前看点!一位民办二本学生的年终总结
今日看点:荣耀首款小折叠屏来了:5千档真香
世界信息:今晚8点播出 王冰冰、撒贝宁等人组团剧透央视网络春晚
3999元解决安卓四大不可能 一加11成酷安最热机型:领先第二名一倍
认识Java语言
读编程与类型系统笔记07_子类型
张朝阳称年轻人不要只追求赚钱和快乐:想法不对 你会很痛苦 本人风趣回应
当前热讯:网易开始解散暴雪游戏相关团队!分手已成定局
世界微头条丨特斯拉海外大降价 美国新车主:恶心、不愿再看一眼爱车
全球快消息!门票值了!大熊猫看到游客后展示“才艺”:抱着竹子连续翻跟头
省钱还是抠门?马斯克不交房租:员工在工作日被房东赶出
当前视点!Netty-核心模块组件-4
环球视点!微信将处理假冒仿冒官方组织公众号:严重违规直接删号
全体起立!马自达MX-30 R-EV官图发布:转子发动机回归
全球要闻:雷军晒奖杯:《小米创业思考》获2022豆瓣年度大奖 揭秘小米创业经历
和女神视频聊天再也不害羞了!NVIDIA新技术让你“暗送秋波”:画面以假乱真
今日热讯:新娘刚下婚车遭痱子粉迎面砸脸引网友热议:婚闹是素质缺乏没教养?
当前讯息:“爱妻”来了!理想L7“皇后座”到底有多爽?1米2的腿部空间感受下
万元LV误标1599元被秒拍 得物回应:多次确认无异 无权干预
ruoyi打包jar分离配置部署
环球热消息:今晚8点见!2023央视网络春晚节目单发布:王心凌、董宇辉首次加盟
数论笔记-同余
“背菜女孩”家人回应1年赚20万 不穷:虚构捏造博眼球视频获流量应被整治