Skip to content
View yanxx297's full-sized avatar
8 followers · 7 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report yanxx297

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
yanxx297/README.md

SPF String Support

This work is supported by GSoC 2022.

In addition to functions that are already supported, isEmpty(), valueOf(int) and valueOf(char) are newly added as fully supported functions. ValueOf(long) may also be supported already, since there is no fundamental difference between it and valueOf(int).

startsWith() and endsWith were implemented incorrectly in Marlin's work and I have fixed them.

Integer AND, ParseInt() and trim() are partially supported/still in progress.

Read this document for more details.

Pinned Loading

  1. loopsum loopsum Public

    Implement loop summarization on FuzzBALL and evaluate it with CGC benchmark.

  2. fast-pokeemu fast-pokeemu Public

    Automatic emulator testing tool based on FuzzBALL and KEmuFuzzer

    C++ 1 1

  3. fb-qemu fb-qemu Public

    Test QEMU by running it under FuzzBALL.

    C++ 1

  4. type-infer type-infer Public

    Binary based type (signedness) inference

    C++