Naturalistic Static Program Analysis
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 fac...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | Kallehbasti, Mohammad Mehdi Pourhashem Ghafari, Mohammad |
| description | 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. |
| doi_str_mv | 10.48550/arxiv.2301.04862 |
| format | Article |
| fullrecord | <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_2301_04862</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2301_04862</sourcerecordid><originalsourceid>FETCH-LOGICAL-a672-2073fa687fefab8a9e24e6f738e9ff9f5bbfdf2f24dc7c7c4e6266cf0afa080f3</originalsourceid><addsrcrecordid>eNotjjsLwjAURrM4iPoDnOzg2nqbtEk6SvEFRQXdy22bK4H6IK1i_71PvuEMHxwOY-MQgkjHMczQPe0j4ALCACIteZ9Nt9jeHda2aW3pHVr8YO-uJ4dnb37BumtsM2Q9wroxoz8H7LhcHNO1n-1Wm3Se-SgV9zkoQSi1IkNYaEwMj4wkJbRJiBKKi4Iq4sSjqlTvvU8uZUmAhKCBxIBNftpvZn5z9oyuyz-5-TdXvAA8IzsV</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Naturalistic Static Program Analysis</title><source>arXiv.org</source><creator>Kallehbasti, Mohammad Mehdi Pourhashem ; Ghafari, Mohammad</creator><creatorcontrib>Kallehbasti, Mohammad Mehdi Pourhashem ; Ghafari, Mohammad</creatorcontrib><description>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.</description><identifier>DOI: 10.48550/arxiv.2301.04862</identifier><language>eng</language><subject>Computer Science - Cryptography and Security ; Computer Science - Programming Languages ; Computer Science - Software Engineering</subject><creationdate>2023-01</creationdate><rights>http://creativecommons.org/licenses/by/4.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,780,885</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/2301.04862$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.2301.04862$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Kallehbasti, Mohammad Mehdi Pourhashem</creatorcontrib><creatorcontrib>Ghafari, Mohammad</creatorcontrib><title>Naturalistic Static Program Analysis</title><description>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.</description><subject>Computer Science - Cryptography and Security</subject><subject>Computer Science - Programming Languages</subject><subject>Computer Science - Software Engineering</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2023</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNotjjsLwjAURrM4iPoDnOzg2nqbtEk6SvEFRQXdy22bK4H6IK1i_71PvuEMHxwOY-MQgkjHMczQPe0j4ALCACIteZ9Nt9jeHda2aW3pHVr8YO-uJ4dnb37BumtsM2Q9wroxoz8H7LhcHNO1n-1Wm3Se-SgV9zkoQSi1IkNYaEwMj4wkJbRJiBKKi4Iq4sSjqlTvvU8uZUmAhKCBxIBNftpvZn5z9oyuyz-5-TdXvAA8IzsV</recordid><startdate>20230112</startdate><enddate>20230112</enddate><creator>Kallehbasti, Mohammad Mehdi Pourhashem</creator><creator>Ghafari, Mohammad</creator><scope>AKY</scope><scope>GOX</scope></search><sort><creationdate>20230112</creationdate><title>Naturalistic Static Program Analysis</title><author>Kallehbasti, Mohammad Mehdi Pourhashem ; Ghafari, Mohammad</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a672-2073fa687fefab8a9e24e6f738e9ff9f5bbfdf2f24dc7c7c4e6266cf0afa080f3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2023</creationdate><topic>Computer Science - Cryptography and Security</topic><topic>Computer Science - Programming Languages</topic><topic>Computer Science - Software Engineering</topic><toplevel>online_resources</toplevel><creatorcontrib>Kallehbasti, Mohammad Mehdi Pourhashem</creatorcontrib><creatorcontrib>Ghafari, Mohammad</creatorcontrib><collection>arXiv Computer Science</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Kallehbasti, Mohammad Mehdi Pourhashem</au><au>Ghafari, Mohammad</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Naturalistic Static Program Analysis</atitle><date>2023-01-12</date><risdate>2023</risdate><abstract>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.</abstract><doi>10.48550/arxiv.2301.04862</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | DOI: 10.48550/arxiv.2301.04862 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_arxiv_primary_2301_04862 |
| source | arXiv.org |
| subjects | Computer Science - Cryptography and Security Computer Science - Programming Languages Computer Science - Software Engineering |
| title | Naturalistic Static Program Analysis |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-12T16%3A16%3A33IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Naturalistic%20Static%20Program%20Analysis&rft.au=Kallehbasti,%20Mohammad%20Mehdi%20Pourhashem&rft.date=2023-01-12&rft_id=info:doi/10.48550/arxiv.2301.04862&rft_dat=%3Carxiv_GOX%3E2301_04862%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |