会员服务
Analysis · 可辨认的 · Java · 讲稿 · 编程语言 ·
2023 年 1 月 12 日
Naturalistic Static Program Analysis
翻译：自然保持方案分析
Mohammad Mehdi Pourhashem Kallehbasti,Mohammad Ghafari
Mohammad Mehdi Pourhashem Kallehbasti,Mohammad Ghafari
from arxiv, The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering, March 21st-24th, 2023

Static program analysis development is a non-trivial and time-consuming task. We present a framework through which developers can define static program analyses in natural language. We show the application of this framework to identify cryptography misuses in Java programs, and we discuss how it facilitates static program analysis development for developers.


翻译：静态程序分析开发是一项非边际和耗时的任务。 我们提出了一个框架, 开发者可以通过这个框架来定义自然语言的静态程序分析。 我们展示了这个框架在 Java 方案中用于识别加密误用, 我们讨论它如何促进静态程序分析开发者开发。
0
下载
关闭预览

相关内容

【2022新书】机器学习中的统计建模:概念和应用，398页pdf
【2022新书】机器学习中的统计建模:概念和应用，398页pdf
专知会员服务
134+阅读 · 2022年11月5日
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
71+阅读 · 2022年6月28日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
72+阅读 · 2022年3月15日
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
123+阅读 · 2020年7月18日
【实用书】Python编程与解决问题，424页pdf，PROGRAMMING AND PROBLEM SOLVING WITH PYTHON
【实用书】Python编程与解决问题，424页pdf，PROGRAMMING AND PROBLEM SOLVING WITH PYTHON
专知会员服务
72+阅读 · 2020年7月12日
【Manning新书】现代Java实战，592页pdf
【Manning新书】现代Java实战，592页pdf
专知会员服务
98+阅读 · 2020年5月22日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
87+阅读 · 2020年2月12日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
186+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
77+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
41+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
12+阅读 · 2017年9月24日
【推荐】深度学习目标检测概览
【推荐】深度学习目标检测概览
机器学习研究会
10+阅读 · 2017年9月1日
PPR蛋白OsPPR920参与调控水稻花粉发育的分子机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
HOXB7基因促胃癌转移机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
miR-363调控肺腺癌干细胞促进肿瘤转移的分子机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
变指数非线性分析中的若干问题
国家自然科学基金
0+阅读 · 2013年12月31日
CD82棕榈酰化修饰对抑制肿瘤淋巴结转移能力的影响及分子机制的研究
国家自然科学基金
0+阅读 · 2013年12月31日
TWIST在胃癌多药耐药中的作用及分子机制
国家自然科学基金
0+阅读 · 2012年12月31日
髓样抑制细胞（MDSCs）在小细胞肺癌发生、进展及治疗疗效中的生物学作用的转化性研究
国家自然科学基金
0+阅读 · 2011年12月31日
兴安落叶松林CO和CH4动态及其对环境响应机制研究
国家自然科学基金
0+阅读 · 2009年12月31日
SATB1调控肝素酶的表达促进胃癌侵袭转移？
国家自然科学基金
0+阅读 · 2009年12月31日
PanIC: consistent information criteria for general model selection problems
Arxiv
0+阅读 · 2023年3月7日
Adapted AZNN Methods for Time-Varying and Static Matrix Problems
Arxiv
0+阅读 · 2023年3月7日
Optimistic Planning by Regularized Dynamic Programming
Arxiv
0+阅读 · 2023年3月3日
Packing list-colourings
Arxiv
0+阅读 · 2023年3月3日
Qualitative Analysis of a Graph Transformer Approach to Addressing Hate Speech: Adapting to Dynamically Changing Content
Arxiv
0+阅读 · 2023年3月3日
Language Models Can Teach Themselves to Program Better
Arxiv
0+阅读 · 2023年3月3日
Recent Advances and Trends in Multimodal Deep Learning: A Review
Arxiv
56+阅读 · 2021年5月24日
The Modern Mathematics of Deep Learning
Arxiv
49+阅读 · 2021年5月9日
A Survey of the Usages of Deep Learning in Natural Language Processing
A Survey of the Usages of Deep Learning in Natural Language Processing
Arxiv
118+阅读 · 2019年9月11日
Generative Adversarial Networks and Probabilistic Graph Models for Hyperspectral Image Classification
Arxiv
11+阅读 · 2018年2月10日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
Analysis
可辨认的
Java
讲稿
编程语言
相关VIP内容
【2022新书】机器学习中的统计建模:概念和应用，398页pdf
【2022新书】机器学习中的统计建模:概念和应用，398页pdf
专知会员服务
134+阅读 · 2022年11月5日
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
71+阅读 · 2022年6月28日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
72+阅读 · 2022年3月15日
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
123+阅读 · 2020年7月18日
【实用书】Python编程与解决问题，424页pdf，PROGRAMMING AND PROBLEM SOLVING WITH PYTHON
【实用书】Python编程与解决问题，424页pdf，PROGRAMMING AND PROBLEM SOLVING WITH PYTHON
专知会员服务
72+阅读 · 2020年7月12日
【Manning新书】现代Java实战，592页pdf
【Manning新书】现代Java实战，592页pdf
专知会员服务
98+阅读 · 2020年5月22日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
87+阅读 · 2020年2月12日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
186+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
77+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
41+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
12+阅读 · 2017年9月24日
【推荐】深度学习目标检测概览
【推荐】深度学习目标检测概览
机器学习研究会
10+阅读 · 2017年9月1日
相关论文
PanIC: consistent information criteria for general model selection problems
Arxiv
0+阅读 · 2023年3月7日
Adapted AZNN Methods for Time-Varying and Static Matrix Problems
Arxiv
0+阅读 · 2023年3月7日
Optimistic Planning by Regularized Dynamic Programming
Arxiv
0+阅读 · 2023年3月3日
Packing list-colourings
Arxiv
0+阅读 · 2023年3月3日
Qualitative Analysis of a Graph Transformer Approach to Addressing Hate Speech: Adapting to Dynamically Changing Content
Arxiv
0+阅读 · 2023年3月3日
Language Models Can Teach Themselves to Program Better
Arxiv
0+阅读 · 2023年3月3日
Recent Advances and Trends in Multimodal Deep Learning: A Review
Arxiv
56+阅读 · 2021年5月24日
The Modern Mathematics of Deep Learning
Arxiv
49+阅读 · 2021年5月9日
A Survey of the Usages of Deep Learning in Natural Language Processing
A Survey of the Usages of Deep Learning in Natural Language Processing
Arxiv
118+阅读 · 2019年9月11日
Generative Adversarial Networks and Probabilistic Graph Models for Hyperspectral Image Classification
Arxiv
11+阅读 · 2018年2月10日
相关基金
PPR蛋白OsPPR920参与调控水稻花粉发育的分子机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
HOXB7基因促胃癌转移机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
miR-363调控肺腺癌干细胞促进肿瘤转移的分子机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
变指数非线性分析中的若干问题
国家自然科学基金
0+阅读 · 2013年12月31日
CD82棕榈酰化修饰对抑制肿瘤淋巴结转移能力的影响及分子机制的研究
国家自然科学基金
0+阅读 · 2013年12月31日
TWIST在胃癌多药耐药中的作用及分子机制
国家自然科学基金
0+阅读 · 2012年12月31日
髓样抑制细胞（MDSCs）在小细胞肺癌发生、进展及治疗疗效中的生物学作用的转化性研究
国家自然科学基金
0+阅读 · 2011年12月31日
兴安落叶松林CO和CH4动态及其对环境响应机制研究
国家自然科学基金
0+阅读 · 2009年12月31日
SATB1调控肝素酶的表达促进胃癌侵袭转移？
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top