予備知識
抽象構文ツリー
基本的な紹介
AST(Abstract Syntax Tree)抽象構文ツリーは、ソース コードがある場合に、そのソース コードの抽象構文構造を表すために使用されるツリー図です。言語が異なれば、抽象構文ツリー構造も異なります。たとえば、使用されるC语言抽象構文ツリーは、使用されるものと異なるC++場合があります。そのようなソースコードがある場合と同様です:python
#include<stdio.h>
int func(int a,int b)
{
int i;
int c = 0;
for(i=a;i<=b;i++)
{
c+=i;
}
return c;
}
int main()
{
int res = func(1,100);
printf("res = %d\n",res);
return 0;
}
樹状図を使用して分析します。
ツールを使用してclang、標準のヘッダー ファイル分析を直接無視します。
clang -Xclang -ast-dump -fsyntax-only -nostdinc test.c
解析結果は下図のようになり、この構造がツリー全体となります。
使用法
取得されたデンドログラムには、関数のタイプ、パラメーターとパラメーターのタイプ、変数、変数のタイプなどを識別する多くの情報があります (情報が少ないものもあるため、効果を比較するには別の分析ツールを使用する必要があります) ）。
これらのデータは、関数構造の分析、ジャンプ関数、関数の脆弱性の具体的な分析などに使用できます。
LLVM
基本的な紹介
ここでは Zhihu の答えを直接取り上げます。LLVM
はコンパイラ フレームワークです。LLVM はコンパイラ フレームワークとして、さまざまな機能モジュールでサポートされている必要があります。clang と lld の両方を LLVM のコンポーネントとみなすことができます。フレームワークとは、LLVM が提供する機能に基づいて独自のモジュールを開発し、LLVM システム上に統合できることを意味します、その機能を追加するか、単にソフトウェア ツールを自分で開発し、LLVM を使用して基礎となる実装をサポートします。LLVM はいくつかのライブラリとツールで構成されており、その設計思想により IDE と簡単に統合でき (IDE ソフトウェアがライブラリを直接呼び出して静的チェックなどの一部の機能を実装できるため)、構築と生成も簡単です。さまざまな機能ツール (新しいツールは必要なライブラリを呼び出すだけでよいため)。
ここでは詳細を紹介します。そのインターフェイスを使用する必要があるため、事前に
それとサードパーティのインターフェイス ライブラリをインストールする必要があります。python
パッケージ全体のインストール
私も使っているのでこのURLから直接ダウンロードしてください。そして、このパスを環境変数に追加します。windows64版本win11???/???/bin/libclang.dll
Pythonインターフェース
pip install clang
正式に開始
一般的な使用
字句解析
これは、一般的な字句分析、つまり各単語を分離するために直接使用できますが、行分析や型分析は生成されません。
from clang.cindex import Index, Config, CursorKind, TypeKind
libclangPath = r"???\???\LLVM\bin\libclang.dll"
#这个路径需要自己先在笔记本上安装
Config.set_library_file(libclangPath)
file_path_ = r"your_file_path"
index = Index.create()
tu = index.parse(file_path_)
AST_root_node = tu.cursor #cursor根节点
# 词法分析
cursor_content = ""
for token in AST_root_node.get_tokens():
# 针对根节点，调用get_tokens方法。
print(token.spelling)# 相当于分离这个节点上的spelling属性 就是它的内容
これは最も基本的な分析であり、複雑な属性のスクリーニングや区別を必要としないため、非常に単純です。説明、実際の単語のセグメンテーションに使用され、カスタマイズされたツール ctag を使用して変数や関数を分析できます。これにより、関数の型と変数の型を知ることができるだけでなく、それらがソース コード内のどこに位置するのか、またそれらがグローバル プロパティであるかローカル プロパティであるかを知ることができます。
jsonの生成
ここでは、より多くのノードの属性をフィルタリングしてファイルに統合しますjson。属性が空の場合は、演算子またはキーワードである可能性があることを意味します。
import json
from clang.cindex import Index, Config, CursorKind
class AST_Tree_json:
def __init__(self, absolute_path):
self.absolute_path = absolute_path
self.clang_path = r'??\???\LLVM\bin\libclang.dll'
Config.set_library_file(self.clang_path)
self.AST_Root = Index.create().parse(absolute_path).cursor
def serialize_node(self, cursor):
node_dict = {
"kind": str(cursor.kind),
"location": [cursor.extent.start.line, cursor.extent.start.column,
cursor.extent.end.line, cursor.extent.end.column],
"children": []
}
if cursor.spelling:
node_dict["spelling"] = cursor.spelling
print('keywords: ', cursor.spelling)
print('location: ', cursor.extent.start.line, cursor.extent.start.column,
cursor.extent.end.line, cursor.extent.end.column)
for child in cursor.get_children():
child_dict = self.serialize_node(child)
node_dict["children"].append(child_dict)
return node_dict
def start(self):
string_res = self.serialize_node(self.AST_Root)
serialized_json = json.dumps(string_res, indent=4, ensure_ascii=False)
import time
local_time = time.localtime()
date_time = time.strftime("%Y_%m_%d_%H_%M_%S", local_time)
with open('./res_{}.json'.format(date_time),'w', encoding='utf-8') as file:
file.write(serialized_json)
file.close()
# 虽然但是它能识别[]{};+-=，不能获取它们的标识符....而且获取不到值....
# print(serialized_json)
if __name__ == '__main__':
path = r'your_file_path'
ast_obj = AST_Tree_json(path)
ast_obj.start()
ファイルは生成できますがjson、機能は依然として制限されており、特殊文字のフィルタリングは除外されません。ただし、基本的には、コンテンツからスキャンされたすべての属性ノードとその特定の場所を含む、より詳細なファイル コンテンツを生成できますjson。出現する場所
(start_line, start_column, end_line, end_column)を指します。(起始行, 起始列， 结束行，结束列)特定の位置にある文字を見つけたい場合は、ソース コードの断片を読み取ってその位置を取得し、記録する必要がある場合があります。
カスタマイズされた使用法
機能分析の場合:
- 関数文の種類（宣言、定義、呼び出し）
- 関数の具体的な場所
- 関数宣言、定義、呼び出し内容
- 関数のパラメータと戻り値の内容と型
- 関数が配置されているファイルの絶対パス
関数情報クラスの設計
フィルタリングされた情報を受け取るためにいくつかのクラスを作成しました。
FunctionDeclaration: 関数宣言情報クラスFunctionDefinition：関数定義情報クラスFunctionCallExpress: 関数呼び出し情報クラスFunctionDump: 関数データラッパークラスDefinitionCallExpressCombiner: 関数定義呼び出しスプライシングクラスSourceInfo: 関数データクラスFunctionPreprocessorプリプロセッサクラス
ソースコード部分:
1.FunctionDeclarationクラス
class FunctionDeclaration:
def __init__(self, function_name=None, declared_location=None, declared_contents=None, return_types=None,
parameter_types=None):
self.function_name = function_name
self.declared_location = declared_location
self.declared_contents = declared_contents
self.return_types = return_types
self.parameter_types = parameter_types
self.kind = 'FUNCTION_DELCARATION'
def __repr__(self):
return f"函数名字: {
self.function_name}\n函数语句类别: {
self.kind}\n函数声明位置: {
self.declared_location}\n" \
f"函数参数类型: {
self.parameter_types}\n函数返回值类型: {
self.return_types}\n"
2.FunctionDefinitionクラス
class FunctionDefinition:
def __init__(self, function_name=None, definition_location=None, definition_contents=None):
self.function_name = function_name
self.definition_location = definition_location
self.definition_contents = definition_contents
self.kind = 'FUNCTION_DEFINITION'
def __repr__(self):
return f"函数名字: {
self.function_name}\n函数语句类别: {
self.kind}\n" \
f"函数定义位置: {
self.definition_location}\n函数定义内容: {
self.definition_contents}\n"
3.FunctionCallExpressクラス
class FunctionCallExpress:
def __init__(self, function_name=None, call_express_location=None, call_express_contents=None):
self.function_name = function_name
self.call_express_location = call_express_location
self.call_express_contents = call_express_contents
self.kind = 'FUNCTION_CALLEXPRESS'
def __repr__(self):
return f"函数名字: {
self.function_name}\n函数语句类别: {
self.kind}\n" \
f"函数调用位置: {
self.call_express_location}\n函数调用内容: {
self.call_express_contents}\n"
4.FunctionDumpクラス
class FunctionDump:
def __init__(self, source_path):
self.index = Index.create()
self.translation_unit = self.index.parse(source_path)
self.root_cursor = self.translation_unit.cursor
self.function_declaration_list = []
self.function_definition_list = []
self.function_callexpress_list = []
self.source_path = source_path
# 启动函数
def analyseLauncher(self):
self.analyseRunner(self.root_cursor)
# 实施函数
def analyseRunner(self, cursor):
if cursor.kind == CursorKind.FUNCTION_DECL or cursor.kind == CursorKind.CXX_METHOD:
if not cursor.is_definition():
name = cursor.spelling
location = (
cursor.extent.start.line, cursor.extent.start.column, cursor.extent.end.line,
cursor.extent.end.column)
parameter_types = self.get_parameter_types(cursor)
return_type = self.get_return_type(cursor)
function_declaration = FunctionDeclaration(function_name=name, declared_location=location,
declared_contents=self.get_node_contents(cursor),
return_types=return_type,
parameter_types=parameter_types)
self.function_declaration_list.append(function_declaration)
definition_cursor = cursor.get_definition()
if definition_cursor:
definition_location = (definition_cursor.extent.start.line, definition_cursor.extent.start.column,
definition_cursor.extent.end.line, definition_cursor.extent.end.column)
definition_contents = self.get_node_contents(definition_cursor)
function_definition = FunctionDefinition(function_name=definition_cursor.spelling,
definition_location=definition_location,
definition_contents=definition_contents)
self.function_definition_list.append(function_definition)
self.check_function_calls(self.root_cursor, cursor.spelling) # 这句
for child in cursor.get_children():
self.analyseRunner(child)
def check_function_calls(self, cursor, function_name):
if cursor.kind == CursorKind.CALL_EXPR and cursor.spelling == function_name:
call_location = (
cursor.extent.start.line,
cursor.extent.start.column,
cursor.extent.end.line,
cursor.extent.end.column,
)
call_contents = self.get_node_contents(cursor) # 获取函数调用语句的内容
function_callexpress = FunctionCallExpress(function_name=function_name, call_express_location=call_location,
call_express_contents=call_contents)
self.function_callexpress_list.append(function_callexpress)
for child in cursor.get_children():
self.check_function_calls(child, function_name)
# 参数类型过滤
def get_parameter_types(self, cursor):
parameter_types = []
for arg in cursor.get_arguments():
arg_type = arg.type.spelling
parameter_types.append(arg_type)
if not parameter_types:
return ["void"] # 返回 "void" 字符串表示无参函数
return parameter_types
# 返回值过滤
def get_return_type(self, cursor):
result_type = cursor.type
if cursor.spelling == "main":
return "int"
elif result_type.kind == TypeKind.FUNCTIONPROTO: # 除了void以外的类型
return_type = result_type.get_result().spelling
return return_type
elif result_type.kind == TypeKind.FUNCTIONNOPROTO: # void
return_type = result_type.get_result().spelling
return return_type
return None
# 返回节点内容
def get_node_contents(self, cursor):
with open(self.source_path, 'r', encoding='utf-8') as file:
contents = file.readlines()
start_line = cursor.extent.start.line - 1
start_column = cursor.extent.start.column - 1
end_line = cursor.extent.end.line - 1
end_column = cursor.extent.end.column - 1
cursor_contents = ""
for line in range(start_line, end_line + 1):
if line == start_line:
cursor_contents += contents[line][start_column:]
elif line == end_line:
cursor_contents += contents[line][:end_column + 1]
else:
cursor_contents += contents[line]
return cursor_contents
# 查找调用函数
def show_function_details(self):
### 函数声明
print('~~函数声明~~')
for item in self.function_declaration_list:
print(item)
print('~~函数定义~~')
for item in self.function_definition_list:
print(item)
print('~~函数调用~~')
for item in self.function_callexpress_list:
print(item)
5.DefinitionCallExpressCombinerコンバイナークラス
# 组合器
class DefinitionCallExpressCombiner:
def __init__(self, file_path):
self.file_path = file_path
self.main_sign = None
self.definition_contents = []
self.mix_contents = []
self.main_length = 0
self.offset_length = 0
def find_all_files(self, filepath):
directory, _ = os.path.split(filepath)
file_list = []
for root, _, files in os.walk(directory):
for file in files:
if file.endswith('.c') or file.endswith('.cpp'):
file_list.append(os.path.abspath(os.path.join(root, file)))
return file_list
def find_all_headers(self, filepath):
directory, _ = os.path.split(filepath)
file_list = []
for root, _, files in os.walk(directory):
for file in files:
if file.endswith('.h') or file.endswith('.hh'):
path = os.path.abspath(os.path.join(root, file))
if self.is_defined(path):
file_list.append(path)
return file_list
def is_defined(self, file_path):
with open(file_path, "r") as file:
content = file.read()
return "{" in content or "}" in content
def has_main_function(self, file_path):
with open(file_path, "r") as file:
content = file.read()
return "int main(" in content
def getDefinitionCodes(self):
source_files = self.find_all_files(self.file_path)
for file_path in source_files:
with open(file_path, "r") as file:
content = file.readlines()
if self.has_main_function(file_path):
if self.main_sign is None:
self.main_sign = file_path
else:
pass
else:
if content:
last_line = content[-1]
pattern = r'.*\n'
if re.findall(pattern, last_line):
pass
else:
content[-1] = last_line + '\n'
self.definition_contents += content
def getDefinitionCodes_(self):
source_files = self.find_all_files(self.file_path)
header_files = self.find_all_headers(self.file_path)
for file_path in header_files:
with open(file_path, "r") as file:
content = file.readlines()
if content:
last_line = content[-1]
pattern = r'.*\n'
if re.findall(pattern, last_line):
pass
else:
content[-1] = last_line + '\n'
self.definition_contents += content
for file_path in source_files:
with open(file_path, "r") as file:
content = file.readlines()
if self.has_main_function(file_path):
if self.main_sign is None:
self.main_sign = file_path
else:
pass
else:
if content:
last_line = content[-1]
pattern = r'.*\n'
if re.findall(pattern, last_line):
pass
else:
content[-1] = last_line + '\n'
self.definition_contents += content
def Combiner_(self):
self.getDefinitionCodes_()
path, name = split(self.main_sign)
name = '._' + name
temp_path = os.path.join(path, name)
with open(self.main_sign, "r", encoding='utf-8') as main_file:
main_file_content = main_file.readlines()
self.main_length = len(main_file_content)
last_line = self.definition_contents[-1]
pattern = r'.*\n'
if re.findall(pattern, last_line):
pass
else:
self.definition_contents[-1] = last_line + '\n'
if main_file_content:
self.mix_contents = self.definition_contents + main_file_content
new_data = ["//" + line if line.startswith("#include") else line for line in self.mix_contents]
with open(temp_path, 'w', encoding='utf-8') as temp_obj:
temp_obj.writelines(new_data)
self.offset_length = len(new_data) - self.main_length
return temp_path
def Combiner(self):
self.getDefinitionCodes()
path, name = split(self.main_sign)
name = '.' + name
temp_path = os.path.join(path, name)
with open(self.main_sign, "r", encoding='utf-8') as main_file:
main_file_content = main_file.readlines()
self.main_length = len(main_file_content)
last_line = self.definition_contents[-1]
pattern = r'.*\n'
if re.findall(pattern, last_line):
pass
else:
self.definition_contents[-1] = last_line + '\n'
if main_file_content:
self.mix_contents = self.definition_contents + main_file_content
new_data = ["//" + line if line.startswith("#include") else line for line in self.mix_contents]
with open(temp_path, 'w', encoding='utf-8') as temp_obj:
temp_obj.writelines(new_data)
self.offset_length = len(new_data) - self.main_length
return temp_path
6.SourceInfo関数データクラス
# 数据类
class SourceInfo:
def __init__(self, filepath, source_obj=None, headers_obj_list=None):
self.filepath = filepath
self.source_obj = source_obj
self.headers_obj_list = headers_obj_list
7.FunctionPreprocessorプリプロセッサクラス
class FunctionPreprocessor:
def __init__(self, file_path, keyword=None):
self.file_path = file_path
self.target_function_name = keyword
self.headers_list = None
self.exclude_headers_list = None
self.main_flag = None
self.header_defined = False
# 产生除去头文件的临时文件XXX_.c/.cpp
def virtualTempFile(self, filename):
with open(filename, 'r', encoding='utf-8') as file:
contents = file.readlines()
temp_contents = []
# 注释头文件....
for item in contents:
if item.startswith('#include'):
item = '//' + item # 在头文件行之前添加注释符号
temp_contents.append(item)
path, name = split(filename)
name = '.' + name
new_filename = os.path.join(path, name)
with open(new_filename, 'w', encoding='utf-8') as file:
file.writelines(temp_contents)
return new_filename
# 获取源文件的所有头文件列表
def find_dependencies(self, filename):
with open(filename, 'r', encoding='utf-8') as file:
contents = file.readlines()
headers = []
pattern = r'#include\s*["]\s*(\w+\.h)\s*["]'
for item in contents:
match = re.search(pattern, item)
if match:
dependency = match.group(1)
headers.append(dependency)
return headers
def find_all_headers(self, filepath):
directory, _ = os.path.split(filepath)
for root, _, files in os.walk(directory):
for file in files:
if file.endswith('.h') or file.endswith('.hh'):
path = os.path.abspath(os.path.join(root, file))
if self.is_defined(path):
self.header_defined = True
def is_defined(self, file_path):
with open(file_path, "r") as file:
content = file.read()
return "{" in content or "}" in content
# 遍历所有同类型文件
def find_all_files(self, filepath):
directory, _ = os.path.split(filepath)
file_list = []
for root, _, files in os.walk(directory):
for file in files:
if file.endswith('.c') or file.endswith('.cpp'):
absolute_path = os.path.abspath(os.path.join(root, file))
file_list.append(absolute_path)
if self.has_main_function(absolute_path):
self.main_flag = absolute_path
return file_list
def has_main_function(self, file_path):
with open(file_path, "r") as file:
content = file.read()
return "int main(" in content
def multiCallExpressCombiner(self, filepath):
combiner = DefinitionCallExpressCombiner(filepath)
temp_filepath = combiner.Combiner()
call_analyzer = FunctionDump(temp_filepath)
call_analyzer.analyseLauncher()
os.remove(temp_filepath)
offset = combiner.offset_length
function_declaration_list = []
function_definition_list = []
function_call_express_list = []
for item in call_analyzer.function_declaration_list:
if item.declared_location[0] > offset:
start_line, start_index, end_line, end_index = item.declared_location
item.declared_location = (start_line - offset, start_index, end_line - offset, end_index)
function_declaration_list.append(item)
else:
continue
for item in call_analyzer.function_definition_list:
if item.definition_location[0] > offset:
start_line, start_index, end_line, end_index = item.definition_location
item.definition_location = (start_line - offset, start_index, end_line - offset, end_index)
function_definition_list.append(item)
else:
continue
for item in call_analyzer.function_callexpress_list:
if item.call_express_location[0] > offset:
start_line, start_index, end_line, end_index = item.call_express_location
item.call_express_location = (start_line - offset, start_index, end_line - offset, end_index)
function_call_express_list.append(item)
else:
continue
# 覆盖原文
call_analyzer.function_declaration_list = function_declaration_list
call_analyzer.function_definition_list = function_definition_list
call_analyzer.function_callexpress_list = function_call_express_list
return call_analyzer
def _multiCallExpressCombiner(self, filepath):
combiner = DefinitionCallExpressCombiner(filepath)
temp_filepath = combiner.Combiner_()
call_analyzer = FunctionDump(temp_filepath)
call_analyzer.analyseLauncher()
os.remove(temp_filepath)
offset = combiner.offset_length
function_declaration_list = []
function_definition_list = []
function_call_express_list = []
for item in call_analyzer.function_declaration_list:
if item.declared_location[0] > offset:
start_line, start_index, end_line, end_index = item.declared_location
item.declared_location = (start_line - offset, start_index, end_line - offset, end_index)
function_declaration_list.append(item)
else:
continue
for item in call_analyzer.function_definition_list:
if item.definition_location[0] > offset:
start_line, start_index, end_line, end_index = item.definition_location
item.definition_location = (start_line - offset, start_index, end_line - offset, end_index)
function_definition_list.append(item)
else:
continue
for item in call_analyzer.function_callexpress_list:
if item.call_express_location[0] > offset:
start_line, start_index, end_line, end_index = item.call_express_location
item.call_express_location = (start_line - offset, start_index, end_line - offset, end_index)
function_call_express_list.append(item)
else:
continue
# 覆盖原文
call_analyzer.function_declaration_list = function_declaration_list
call_analyzer.function_definition_list = function_definition_list
call_analyzer.function_callexpress_list = function_call_express_list
return call_analyzer
def source_runner(self, init_filename):
filelist = self.find_all_files(init_filename)
self.find_all_headers(init_filename)
source_info_list = []
if len(filelist) < 2 and not self.header_defined:
for file in filelist:
headers_objs = []
# 源文件
source_path = self.virtualTempFile(file)
headers_path = self.find_dependencies(source_path)
path, name = split(source_path)
for header in headers_path:
header_path = path + '/' + header
source_path_ = self.virtualTempFile(header_path)
headers_analyzer = FunctionDump(source_path_)
headers_analyzer.analyseLauncher()
# headers_analyzer.show_function_details()
headers_objs.append((file, header_path, headers_analyzer))
os.remove(source_path_)
analyzer = FunctionDump(source_path)
analyzer.analyseLauncher()
os.remove(source_path)
# analyzer.show_function_details()
per_source_info = SourceInfo(filepath=file, source_obj=analyzer, headers_obj_list=headers_objs)
source_info_list.append(per_source_info)
elif len(filelist) >= 2 and not self.header_defined:
for file in filelist:
headers_objs = []
if file != self.main_flag:# 标记是不是main
# 源文件
source_path = self.virtualTempFile(file)
headers_path = self.find_dependencies(source_path)
path, name = split(source_path)
for header in headers_path:
header_path = path + '/' + header
source_path_ = self.virtualTempFile(header_path)
headers_analyzer = FunctionDump(source_path_)
headers_analyzer.analyseLauncher()
# headers_analyzer.show_function_details()
headers_objs.append((file, header_path, headers_analyzer))
os.remove(source_path_)
analyzer = FunctionDump(source_path)
analyzer.analyseLauncher()
os.remove(source_path)
else:
# 是main源文件 开始复杂拼装
analyzer = self.multiCallExpressCombiner(file)
per_source_info = SourceInfo(filepath=file, source_obj=analyzer, headers_obj_list=headers_objs)
source_info_list.append(per_source_info)
elif self.header_defined:
for file in filelist:
headers_objs = []
if file != self.main_flag:# 标记是不是main
# 源文件
source_path = self.virtualTempFile(file)
headers_path = self.find_dependencies(source_path)
path, name = split(source_path)
for header in headers_path:
header_path = path + '/' + header
source_path_ = self.virtualTempFile(header_path)
headers_analyzer = FunctionDump(source_path_)
headers_analyzer.analyseLauncher()
headers_objs.append((file, header_path, headers_analyzer))
os.remove(source_path_)
analyzer = FunctionDump(source_path)
analyzer.analyseLauncher()
os.remove(source_path)
else:
headers_path = self.find_dependencies(file)
path, name = split(file)
for header in headers_path:
header_path = path + '/' + header
source_path_ = self.virtualTempFile(header_path)
headers_analyzer = FunctionDump(source_path_)
headers_analyzer.analyseLauncher()
headers_objs.append((file, header_path, headers_analyzer))
os.remove(source_path_)
# 是main源文件 开始复杂拼装
analyzer = self._multiCallExpressCombiner(file)
per_source_info = SourceInfo(filepath=file, source_obj=analyzer, headers_obj_list=headers_objs)
source_info_list.append(per_source_info)
return source_info_list
関数ジャンプ機能の実装
- 選択した文字をフィルタリングする
selected_text - 機能ジャンプメニュー
UI接続機能 - 関数ジャンプロジックを3つ書く
gotoDeclaration: 右ボタンの関数转到声明:
gotoDefinition右ボタンの関数转到定义:
gotoCallExpress右转到调用ボタンの関数 - ソースデータの取得
getFuncAnalyzer：最新の機能解析データを取得するためのインターフェースであり、テキストエディタの内容を変更したり、新規ファイルを作成したりすると、データ内容が更新されます。
ソースコード
1. 選択した文字列をフィルタリングしますgetSelectdFunctionName
def getSelectdFunctionName(self, input_string):
import re
pattern = r'\b(\w+)\s*\('
match = re.search(pattern, input_string)
if match:
return match.group(1)
words = re.findall(r'\b\w+\b', input_string) # 提取字符串中的单词列表
for word in words:
if re.match(r'^[a-zA-Z_][a-zA-Z0-9_]*$', word): # 判断单词是否符合函数名的命名规则
return word # 返回第一个符合要求的单词作为函数名
return None
2. 右クリックメニューのUIロジック
def show_context_menu(self, point):
self.context_menu = self.__editor.createStandardContextMenu()
# 添加默认选项
self.context_menu.insertSeparator(self.context_menu.actions()[0])
ui_icon = self.config_ini['main_project']['project_name'] + self.config_ini['ui_img']['ui_turn_to']
action_goto_declaration = QAction("转到声明", self)
action_goto_declaration.setIcon(QIcon(ui_icon))
action_goto_declaration.triggered.connect(self.gotoDeclaration)
action_goto_definition = QAction("转到定义", self)
action_goto_definition.setIcon(QIcon(ui_icon))
action_goto_definition.triggered.connect(self.gotoDefinition)
action_goto_call_express = QAction("转到调用", self)
action_goto_call_express.setIcon(QIcon(ui_icon))
action_goto_call_express.triggered.connect(self.gotoCallExpress)
# 分隔符
self.context_menu.insertSeparator(self.context_menu.actions()[0])
self.context_menu.insertAction(self.context_menu.actions()[0], action_goto_declaration)
self.context_menu.insertAction(self.context_menu.actions()[1], action_goto_definition)
self.context_menu.insertAction(self.context_menu.actions()[2], action_goto_call_express)
# 应用
self.context_menu.exec_(self.__editor.mapToGlobal(point))
def gotoDeclaration(self):
self.gotoDeclarationSign.emit()
def gotoDefinition(self):
self.gotoDefinitionSign.emit()
def gotoCallExpress(self):
self.gotoCallExpressSign.emit()
text_editor_obj.gotoDeclarationSign.connect(lambda: self.gotoDeclaration(text_editor_obj))
text_editor_obj.gotoDefinitionSign.connect(lambda: self.gotoDefinition(text_editor_obj))
text_editor_obj.gotoCallExpressSign.connect(lambda: self.gotoCallExpress(text_editor_obj))
3.gotoDeclaration gotoDefinition gotoCallExpress
# 声明跳转
def gotoDeclaration(self, editor):
position, selected_text = editor.getSelected_Position_Content()
locations = []
absolute_path = editor.filepath + '/' + editor.filename
# 过滤选中的字符
selected_text = editor.getSelectdFunctionName(selected_text)
if self.source_data == None or self.current_source_path == None:
self.source_data = self.getFuncAnalyzer(editor=editor)
self.current_source_path = os.path.normpath(absolute_path)
if self.source_data and self.current_source_path == None:
self.current_source_path = os.path.normpath(absolute_path)
elif self.current_source_path and self.current_source_path != os.path.normpath(absolute_path):
self.current_source_path = os.path.normpath(absolute_path)
else:
pass
location = None
isSource = True
# 头文件跳源文件
if '.h' in editor.filename or '.hh' in editor.filename:
isSource = False
if self.source_data:
for data in self.source_data:
# 文件名
isFind = False
filename = data.filepath
# 声明
function_declaration_list = data.source_obj.function_declaration_list
# 头文件
headers_obj_list = data.headers_obj_list
# 查源文件...
for per_obj in function_declaration_list:
if selected_text == per_obj.function_name and per_obj.declared_contents:
location = per_obj.declared_location
isFind = True
break
if not isFind and location == None:
# 头文件遍历
current_editor = None
for per_obj in headers_obj_list:
filepath, header_path, item = per_obj
path, name = split(filepath)
path, name_ = split(header_path)
# 声明
for i in item.function_declaration_list:
if selected_text == i.function_name and i.declared_contents:
location = i.declared_location
if isSource:
self.create_new_open_tab(header_path)
current_editor = self.ui.text_editor.currentWidget()
else:# 关键！
current_editor = editor
break
if location is not None and current_editor is not None:
start_line = location[0] - 1
start_index = location[1] - 1
end_line = location[2] - 1
end_index = location[3] - 1
text_location = [(start_line, start_index, end_line, end_index)]
current_editor.highlight_function_declaration(text_location)
elif isFind and location is not None:
if location is not None:
start_line = location[0] - 1
start_index = location[1] - 1
end_line = location[2] - 1
end_index = location[3] - 1
text_location = [(start_line, start_index, end_line, end_index)]
editor.highlight_function_declaration(text_location)
# 定义跳转
def gotoDefinition(self, editor):
position, selected_text = editor.getSelected_Position_Content()
locations = []
absolute_path = editor.filepath + '/' + editor.filename
selected_text = editor.getSelectdFunctionName(selected_text)
if self.source_data == None or self.current_source_path == None:
self.source_data = self.getFuncAnalyzer(editor=editor)
self.current_source_path = os.path.normpath(absolute_path)
if self.source_data and self.current_source_path == None:
self.current_source_path = os.path.normpath(absolute_path)
elif self.current_source_path and self.current_source_path != os.path.normpath(absolute_path):
self.current_source_path = os.path.normpath(absolute_path)
else:
pass
location = None
isSource = True
if '.h' in editor.filename or '.hh' in editor.filename:
isSource = False
if self.source_data:
for data in self.source_data:
# 文件名
isFind = False
filename = data.filepath
# 定义
function_definition_list = data.source_obj.function_definition_list
# 头文件
headers_obj_list = data.headers_obj_list
# 查源文件...
for per_obj in function_definition_list:
if selected_text == per_obj.function_name and per_obj.definition_contents:
location = per_obj.definition_location
isFind = True
break
if not isFind and location == None:
# 头文件遍历
for per_obj in headers_obj_list:
filepath, header_path, item = per_obj
path, name = split(filepath)
path, name_ = split(header_path)
# 定义
for i in item.function_definition_list:
if selected_text == i.function_name and i.definition_contents:
location = i.definition_location
if isSource:
self.create_new_open_tab(header_path)
current_editor = self.ui.text_editor.currentWidget()
else:
current_editor = editor
break
if location is not None and current_editor is not None:
start_line = location[0] - 1
start_index = location[1] - 1
end_line = location[2] - 1
end_index = location[3] - 1
text_location = [(start_line, start_index, end_line, end_index)]
current_editor.highlight_function_definition(text_location)
elif isFind and location is not None:
another_editor = editor
if os.path.normpath(absolute_path) != os.path.normpath(filename):
self.create_new_open_tab(os.path.normpath(filename))
another_editor = self.ui.text_editor.currentWidget()
if location is not None:
start_line = location[0] - 1
start_index = location[1] - 1
end_line = location[2] - 1
end_index = location[3] - 1
text_location = [(start_line, start_index, end_line, end_index)]
another_editor.highlight_function_definition(text_location)
# 调用跳转
def gotoCallExpress(self, editor):
position, selected_text = editor.getSelected_Position_Content()
locations = []
absolute_path = editor.filepath + '/' + editor.filename
selected_text = editor.getSelectdFunctionName(selected_text)
if self.source_data == None or self.current_source_path == None:
self.source_data = self.getFuncAnalyzer(editor=editor)
self.current_source_path = os.path.normpath(absolute_path)
if self.source_data and self.current_source_path == None:
self.current_source_path = os.path.normpath(absolute_path)
elif self.current_source_path and self.current_source_path != os.path.normpath(absolute_path):
self.current_source_path = os.path.normpath(absolute_path)
else:
pass
isSource = True
if '.h' in editor.filename or '.hh' in editor.filename:
isSource = False
if self.source_data:
for data in self.source_data:
# 文件名
filename = data.filepath
# 调用
function_callexpress_list = data.source_obj.function_callexpress_list
# 记得清空 不然GG
locations = []
for per_obj in function_callexpress_list:
if selected_text == per_obj.function_name and per_obj.call_express_contents:
location = per_obj.call_express_location
start_line = location[0] - 1
start_index = location[1] - 1
end_line = location[2] - 1
end_index = location[3] - 1
text_location = (start_line, start_index, end_line, end_index)
locations.append(text_location)
if not isSource and locations != []:
self.create_new_open_tab(filename)
another_editor = self.ui.text_editor.currentWidget()
another_editor.highlight_function_call_express(locations)
elif isSource and locations != []:
if os.path.normpath(absolute_path) != os.path.normpath(filename):
self.create_new_open_tab(os.path.normpath(filename))
another_editor = self.ui.text_editor.currentWidget()
another_editor.highlight_function_call_express(locations)
else:
editor.highlight_function_call_express(locations)
4.getFuncAnalyzer
def getFuncAnalyzer(self, editor):
filename = editor.filename
filepath = editor.filepath
absolute_path = filepath + '/' + filename
func_dump = FunctionPreprocessor(absolute_path)
source_data = func_dump.source_runner(absolute_path)
return source_data
基本ロジックのフローチャート
マークダウンでフローチャートを描くのは本当に難しいです。
並外れたスキル
インターフェイスを使用して情報を分析すると、大量のヘッダー ファイル情報が自動的に分析されます。これにより、分析およびフィルタリングの際に標準ライブラリに大量の関数情報が出力され、カスタム ファイルの分析と処理が妨げられます。機能です。
このインターフェイスを呼び出す方法は、コンテンツを含むコード ファイルを渡して分析することです。文字列に置き換えることができれば素晴らしいのですが、うまく機能しないため、ヘッダー ファイルを手動でコメントアウトすることにしました。をファイルに記述し、一時ファイルを渡します。分析クラスで分析しますが、元のファイルの内容はテキストエディタ上に保持し、分析が終了したらすぐに一時ファイルを削除します。私が読んだのはソースコード分析です。
実証効果
背後にある考え
起因
本当はインターンシップのプロジェクト内容なのですが、（実際にやっていて拷問されたと思う）部分を抜粋して紹介しました。明確な参考資料がほとんどないので、ほとんどが手で擦ったもので、パパchatgpt3.5の指摘によれば、パパの指摘も悪いものの、書かれたコードは私の手で擦ったほどではないそうです。
後輩へのプレゼント
おそらく次回も参考になるこのプロジェクトを書くことになるでしょうが、それが実行できるかどうかは別問題です。本当に私には教師としての才能があるのだろうか? 私の修煉bug能力は一流だ...あるいはこのクラスをテキストエディタとして使わざるを得ない人もいる...
ソースコード
入れてみましたgithubが、設定ファイルは暗号化されているのでREADME内容をよく確認してください。
私のパートではなく、私のパートを詳しく説明してもらい、0-0を自分で理解します！
ソースコードはこちら、
前回の記事はこちら
