avast / avast/retdec

Add semantics for more functions into llvmir2hll

Open
#207 0 comments 0 reactions 0 assignees View on GitHub
C-llvmir2hll enhancement
Dominant language
C++
Stars
8.6k
Forks
1k
PR merge metrics
No merged PRs in 30d

Description

The following semantics could be improved by adding more mappings:
* Windows: `src/llvmir2hll/semantics/semantics/win_api_semantics/get_symbolic_names_for_param.cpp`: There are currently mappings only for a few functions operating with registry keys.
* Windows: `src/llvmir2hll/semantics/semantics/win_api_semantics/get_name_of_var_storing_result.cpp`: There are currently mappings only for a few functions.
* Linux: `src/llvmir2hll/semantics/semantics/gcc_general_semantics/get_name_of_var_storing_result.cpp`: There are currently mappings only for a few functions.

For more information, take a look at other source files in `src/llvmir2hll/semantics/semantics`.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start with the three named files under src/llvmir2hll/semantics/semantics: the Windows symbolic-name mappings, Windows result-variable mappings, and Linux GCC result-variable mappings. Compare them with other source files in that directory to identify the established mapping patterns. The work is done when those files cover more relevant functions consistently with the surrounding semantics implementations.

Written by the indexing model from the issue text.

Assessment

Tech stack
cpp
Domain
compilers
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.