JP6447358B2 - ソースコード生成プログラム、ソースコード生成方法およびコンピュータ - Google Patents
ソースコード生成プログラム、ソースコード生成方法およびコンピュータ Download PDFInfo
- Publication number
- JP6447358B2 JP6447358B2 JP2015100948A JP2015100948A JP6447358B2 JP 6447358 B2 JP6447358 B2 JP 6447358B2 JP 2015100948 A JP2015100948 A JP 2015100948A JP 2015100948 A JP2015100948 A JP 2015100948A JP 6447358 B2 JP6447358 B2 JP 6447358B2
- Authority
- JP
- Japan
- Prior art keywords
- source code
- identification information
- line
- source
- compile
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Images
Landscapes
- Stored Programmes (AREA)
Description
第1のソースコードに対して、前記第1のソースコードの行それぞれに、該行それぞれを識別する識別情報を付加した第2のソースコードを生成し、
付加した前記識別情報について、前記第1のソースコードまたは前記第2のソースコードがコンパイルされた際の実行ログに含まれる定義情報を用いて前記第2のソースコードに対するプリプロセスを実行した結果得られるソースコードに含まれない識別情報を特定し、
前記第2のソースコードに含まれる、特定した前記識別情報が付加された行を、前記プリプロセスの結果無効となったことを示すコメント行に書き換える
処理を実行させることを特徴とするソースコード生成プログラム。
第1のソースコードに対して、前記第1のソースコードの行それぞれに、該行それぞれを識別する識別情報を付加した第2のソースコードを生成し、
付加した前記識別情報について、前記第1のソースコードまたは前記第2のソースコードがコンパイルされた際の実行ログに含まれる定義情報を用いて前記第2のソースコードに対するプリプロセスを実行した結果得られるソースコードに含まれない識別情報を特定し、
前記第2のソースコードに含まれる、特定した前記識別情報が付加された行を、前記プリプロセスの結果無効となったことを示すコメント行に書き換える
処理を実行することを特徴とするソースコード生成方法。
前記識別情報について、前記第1のソースコードまたは前記第2のソースコードがコンパイルされた際の実行ログに含まれる定義情報を用いて前記第2のソースコードに対するプリプロセスを実行した結果得られるソースコードに含まれない識別情報を特定し、前記第2のソースコードに含まれる、特定した前記識別情報が付加された行を、前記プリプロセスの結果無効となったことを示すコメント行に書き換える特定部と
を有することを特徴とするコンピュータ。
120 コンパイラ部
130 プリプロセス部
Claims (5)
- コンピュータに、
第1のソースコードに対して、前記第1のソースコードの行それぞれに、該行それぞれを識別する識別情報を付加した第2のソースコードを生成し、
付加した前記識別情報について、前記第1のソースコードまたは前記第2のソースコードがコンパイルされた際の実行ログに含まれる定義情報を用いて前記第2のソースコードに対するプリプロセスを実行した結果得られるソースコードに含まれない識別情報を特定し、
前記第2のソースコードに含まれる、特定した前記識別情報が付加された行を、前記プリプロセスの結果無効となったことを示すコメント行に書き換える
処理を実行させることを特徴とするソースコード生成プログラム。 - 前記生成する処理は、前記第1のソースコードの各行のうち、プリプロセッサ・ディレクティブを除いた行に対して、前記識別情報を付加することを特徴とする請求項1に記載のソースコード生成プログラム。
- 前記特定する処理は、前記第1のソースコードに含まれるコンパイル手順書に従ってコンパイルが実行された結果得られる実行ログから、前記定義情報を抽出することを特徴とする請求項1または2に記載のソースコード生成プログラム。
- コンピュータが実行するソースコード生成方法であって、
第1のソースコードに対して、前記第1のソースコードの行それぞれに、該行それぞれを識別する識別情報を付加した第2のソースコードを生成し、
付加した前記識別情報について、前記第1のソースコードまたは前記第2のソースコードがコンパイルされた際の実行ログに含まれる定義情報を用いて前記第2のソースコードに対するプリプロセスを実行した結果得られるソースコードに含まれない識別情報を特定し、
前記第2のソースコードに含まれる、特定した前記識別情報が付加された行を、前記プリプロセスの結果無効となったことを示すコメント行に書き換える
処理を実行することを特徴とするソースコード生成方法。 - 第1のソースコードに対して、前記第1のソースコードの行それぞれに、該行それぞれを識別する識別情報を付加した第2のソースコードを生成する生成部と、
前記識別情報について、前記第1のソースコードまたは前記第2のソースコードがコンパイルされた際の実行ログに含まれる定義情報を用いて前記第2のソースコードに対するプリプロセスを実行した結果得られるソースコードに含まれない識別情報を特定し、前記第2のソースコードに含まれる、特定した前記識別情報が付加された行を、前記プリプロセスの結果無効となったことを示すコメント行に書き換える特定部と
を有することを特徴とするコンピュータ。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2015100948A JP6447358B2 (ja) | 2015-05-18 | 2015-05-18 | ソースコード生成プログラム、ソースコード生成方法およびコンピュータ |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2015100948A JP6447358B2 (ja) | 2015-05-18 | 2015-05-18 | ソースコード生成プログラム、ソースコード生成方法およびコンピュータ |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JP2016218609A JP2016218609A (ja) | 2016-12-22 |
| JP6447358B2 true JP6447358B2 (ja) | 2019-01-09 |
Family
ID=57581936
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2015100948A Expired - Fee Related JP6447358B2 (ja) | 2015-05-18 | 2015-05-18 | ソースコード生成プログラム、ソースコード生成方法およびコンピュータ |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP6447358B2 (ja) |
Family Cites Families (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH1185486A (ja) * | 1997-09-12 | 1999-03-30 | Fujitsu Ltd | プログラム編集装置,プログラム編集方法,及びコンピュータ可読媒体 |
| JP2000215037A (ja) * | 1999-01-22 | 2000-08-04 | Toshiba Corp | ソ―スコ―ド表示装置、ソ―スコ―ド表示方法およびデバック処理装置 |
| JP2002366368A (ja) * | 2001-06-08 | 2002-12-20 | Matsushita Electric Ind Co Ltd | ソースコード編集装置およびソースコード編集方法 |
-
2015
- 2015-05-18 JP JP2015100948A patent/JP6447358B2/ja not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| JP2016218609A (ja) | 2016-12-22 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Tsantalis et al. | Accurate and efficient refactoring detection in commit history | |
| US11579856B2 (en) | Multi-chip compatible compiling method and device | |
| Nogueira et al. | Test generation from state based use case models | |
| JP2007521568A (ja) | 複数の例外処理モデルの中間表現 | |
| Kumar et al. | Rejuvenating C++ programs through demacrofication | |
| EP2141587A1 (en) | Method and system for generating of a control flow graph for representing a program code | |
| Watt et al. | A program logic for first-order encapsulated WebAssembly | |
| JP7513116B2 (ja) | コールグラフ作成装置、コールグラフ作成方法及びプログラム | |
| Liu et al. | PromeFuzz: A Knowledge-Driven Approach to Fuzzing Harness Generation with Large Language Models | |
| JP2008276735A (ja) | プログラムコード変換装置及びプログラムコード変換方法 | |
| Brada et al. | Practical verification of component substitutability using subtype relation | |
| Cuomo et al. | CD-Form: A clone detector based on formal methods | |
| Banerjee et al. | Towards solidity smart contract efficiency optimization through code mining | |
| JP6447358B2 (ja) | ソースコード生成プログラム、ソースコード生成方法およびコンピュータ | |
| Philips et al. | Dependence-driven delimited CPS transformation for JavaScript | |
| CN115310095B (zh) | 一种区块链智能合约混合形式化验证方法及系统 | |
| JP6116983B2 (ja) | エントリーポイント抽出装置 | |
| Boockmann et al. | Generating inductive shape predicates for runtime checking and formal verification | |
| US20170344351A1 (en) | Information processing apparatus, compiling management method, and recording medium | |
| CN107577476A (zh) | 一种基于模块划分的安卓系统源码差异性分析方法、服务器及介质 | |
| Ali et al. | Identification and Optimisation of Type-Level Model Queries | |
| McMillan | Graph Neural Networks in Software Mining | |
| JP7827159B2 (ja) | インパクト解析装置、インパクト解析方法及びプログラム | |
| JP7851884B2 (ja) | 情報処理装置、情報処理方法、及びプログラム | |
| Xue | Learn2reason: Joint statistical and formal learning approach to improve the robustness and time-to-solution for software security |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20180206 |
|
| A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20181026 |
|
| TRDD | Decision of grant or rejection written | ||
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20181106 |
|
| A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20181119 |
|
| R150 | Certificate of patent or registration of utility model |
Ref document number: 6447358 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
| LAPS | Cancellation because of no payment of annual fees |