diff options
| -rw-r--r-- | .gitignore | 75 | ||||
| -rw-r--r-- | CMakeLists.txt | 82 | ||||
| -rw-r--r-- | LICENSE | 661 | ||||
| -rw-r--r-- | instr.cpp | 623 | ||||
| -rw-r--r-- | instr.h | 24 | ||||
| -rw-r--r-- | leb128.c | 170 | ||||
| -rw-r--r-- | main.cpp | 11 | ||||
| -rw-r--r-- | qwadb.cpp | 761 | ||||
| -rw-r--r-- | qwadb.h | 82 | ||||
| -rw-r--r-- | qwadb.ui | 510 | ||||
| -rw-r--r-- | types.h | 74 | ||||
| -rw-r--r-- | wasm.cpp | 1108 | ||||
| -rw-r--r-- | wasm.h | 184 |
13 files changed, 4365 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..2620041 --- /dev/null +++ b/.gitignore @@ -0,0 +1,75 @@ +# This file is used to ignore files which are generated +# ---------------------------------------------------------------------------- + +*~ +*.autosave +*.a +*.core +*.moc +*.o +*.obj +*.orig +*.rej +*.so +*.so.* +*_pch.h.cpp +*_resource.rc +*.qm +.#* +*.*# +core +!core/ +tags +.DS_Store +.directory +*.debug +Makefile* +*.prl +*.app +moc_*.cpp +ui_*.h +qrc_*.cpp +Thumbs.db +*.res +*.rc +/.qmake.cache +/.qmake.stash + +# qtcreator generated files +*.pro.user* +CMakeLists.txt.user* + +# xemacs temporary files +*.flc + +# Vim temporary files +.*.swp + +# Visual Studio generated files +*.ib_pdb_index +*.idb +*.ilk +*.pdb +*.sln +*.suo +*.vcproj +*vcproj.*.*.user +*.ncb +*.sdf +*.opensdf +*.vcxproj +*vcxproj.* + +# MinGW generated files +*.Debug +*.Release + +# Python byte code +*.pyc + +# Binaries +# -------- +*.dll +*.exe + +/build*/ diff --git a/CMakeLists.txt b/CMakeLists.txt new file mode 100644 index 0000000..192044e --- /dev/null +++ b/CMakeLists.txt @@ -0,0 +1,82 @@ +cmake_minimum_required(VERSION 3.13) + +project(qwadb VERSION 0.1 LANGUAGES C CXX) + +add_compile_options(-fdata-sections -ffunction-sections) + +set(QT_VERSION_MAJOR 5) +set(CMAKE_INCLUDE_CURRENT_DIR ON) + +set(CMAKE_AUTOUIC ON) +set(CMAKE_AUTOMOC ON) +set(CMAKE_AUTORCC ON) + +set(CMAKE_CXX_STANDARD 11) +set(CMAKE_CXX_STANDARD_REQUIRED ON) + +find_package(QT NAMES Qt6 Qt5 COMPONENTS + Concurrent + Network + Widgets +REQUIRED) + +find_package(Qt${QT_VERSION_MAJOR} COMPONENTS + Concurrent + Network + Widgets + REQUIRED +) + +set(PROJECT_SOURCES + instr.cpp + leb128.c + main.cpp + qwadb.cpp + qwadb.ui + wasm.cpp +) + +if(${QT_VERSION_MAJOR} GREATER_EQUAL 6) + qt_add_executable(${PROJECT_NAME} + MANUAL_FINALIZATION + ${PROJECT_SOURCES} + ) +# Define target properties for Android with Qt 6 as: +# set_property(TARGET ${PROJECT_NAME} APPEND PROPERTY QT_ANDROID_PACKAGE_SOURCE_DIR +# ${CMAKE_CURRENT_SOURCE_DIR}/android) +# For more information, see https://doc.qt.io/qt-6/qt-add-executable.html#target-creation +else() + if(ANDROID) + add_library(${PROJECT_NAME} SHARED + ${PROJECT_SOURCES} + ) +# Define properties for Android with Qt 5 after find_package() calls as: +# set(ANDROID_PACKAGE_SOURCE_DIR "${CMAKE_CURRENT_SOURCE_DIR}/android") + else() + add_executable(${PROJECT_NAME} + ${PROJECT_SOURCES} + ) + endif() +endif() + +target_link_libraries(${PROJECT_NAME} PRIVATE + Qt${QT_VERSION_MAJOR}::Concurrent + Qt${QT_VERSION_MAJOR}::Network + Qt${QT_VERSION_MAJOR}::Widgets) + +target_link_options(${PROJECT_NAME} PRIVATE -Wl,--gc-sections) + +set_target_properties(${PROJECT_NAME} PROPERTIES + MACOSX_BUNDLE_GUI_IDENTIFIER my.example.com + MACOSX_BUNDLE_BUNDLE_VERSION ${PROJECT_VERSION} + MACOSX_BUNDLE_SHORT_VERSION_STRING ${PROJECT_VERSION_MAJOR}.${PROJECT_VERSION_MINOR} + MACOSX_BUNDLE TRUE + WIN32_EXECUTABLE TRUE +) + +if(QT_VERSION_MAJOR EQUAL 6) + qt_finalize_executable(${PROJECT_NAME}) +endif() + +target_compile_options(${PROJECT_NAME} PUBLIC -Wall) +target_link_libraries(${PROJECT_NAME} PRIVATE dwarf) @@ -0,0 +1,661 @@ + GNU AFFERO GENERAL PUBLIC LICENSE + Version 3, 19 November 2007 + + Copyright (C) 2007 Free Software Foundation, Inc. <https://fsf.org/> + Everyone is permitted to copy and distribute verbatim copies + of this license document, but changing it is not allowed. + + Preamble + + The GNU Affero General Public License is a free, copyleft license for +software and other kinds of works, specifically designed to ensure +cooperation with the community in the case of network server software. + + The licenses for most software and other practical works are designed +to take away your freedom to share and change the works. By contrast, +our General Public Licenses are intended to guarantee your freedom to +share and change all versions of a program--to make sure it remains free +software for all its users. + + When we speak of free software, we are referring to freedom, not +price. Our General Public Licenses are designed to make sure that you +have the freedom to distribute copies of free software (and charge for +them if you wish), that you receive source code or can get it if you +want it, that you can change the software or use pieces of it in new +free programs, and that you know you can do these things. + + Developers that use our General Public Licenses protect your rights +with two steps: (1) assert copyright on the software, and (2) offer +you this License which gives you legal permission to copy, distribute +and/or modify the software. + + A secondary benefit of defending all users' freedom is that +improvements made in alternate versions of the program, if they +receive widespread use, become available for other developers to +incorporate. Many developers of free software are heartened and +encouraged by the resulting cooperation. However, in the case of +software used on network servers, this result may fail to come about. +The GNU General Public License permits making a modified version and +letting the public access it on a server without ever releasing its +source code to the public. + + The GNU Affero General Public License is designed specifically to +ensure that, in such cases, the modified source code becomes available +to the community. It requires the operator of a network server to +provide the source code of the modified version running there to the +users of that server. Therefore, public use of a modified version, on +a publicly accessible server, gives the public access to the source +code of the modified version. + + An older license, called the Affero General Public License and +published by Affero, was designed to accomplish similar goals. This is +a different license, not a version of the Affero GPL, but Affero has +released a new version of the Affero GPL which permits relicensing under +this license. + + The precise terms and conditions for copying, distribution and +modification follow. + + TERMS AND CONDITIONS + + 0. Definitions. + + "This License" refers to version 3 of the GNU Affero General Public License. + + "Copyright" also means copyright-like laws that apply to other kinds of +works, such as semiconductor masks. + + "The Program" refers to any copyrightable work licensed under this +License. Each licensee is addressed as "you". "Licensees" and +"recipients" may be individuals or organizations. + + To "modify" a work means to copy from or adapt all or part of the work +in a fashion requiring copyright permission, other than the making of an +exact copy. The resulting work is called a "modified version" of the +earlier work or a work "based on" the earlier work. + + A "covered work" means either the unmodified Program or a work based +on the Program. + + To "propagate" a work means to do anything with it that, without +permission, would make you directly or secondarily liable for +infringement under applicable copyright law, except executing it on a +computer or modifying a private copy. Propagation includes copying, +distribution (with or without modification), making available to the +public, and in some countries other activities as well. + + To "convey" a work means any kind of propagation that enables other +parties to make or receive copies. Mere interaction with a user through +a computer network, with no transfer of a copy, is not conveying. + + An interactive user interface displays "Appropriate Legal Notices" +to the extent that it includes a convenient and prominently visible +feature that (1) displays an appropriate copyright notice, and (2) +tells the user that there is no warranty for the work (except to the +extent that warranties are provided), that licensees may convey the +work under this License, and how to view a copy of this License. If +the interface presents a list of user commands or options, such as a +menu, a prominent item in the list meets this criterion. + + 1. Source Code. + + The "source code" for a work means the preferred form of the work +for making modifications to it. "Object code" means any non-source +form of a work. + + A "Standard Interface" means an interface that either is an official +standard defined by a recognized standards body, or, in the case of +interfaces specified for a particular programming language, one that +is widely used among developers working in that language. + + The "System Libraries" of an executable work include anything, other +than the work as a whole, that (a) is included in the normal form of +packaging a Major Component, but which is not part of that Major +Component, and (b) serves only to enable use of the work with that +Major Component, or to implement a Standard Interface for which an +implementation is available to the public in source code form. A +"Major Component", in this context, means a major essential component +(kernel, window system, and so on) of the specific operating system +(if any) on which the executable work runs, or a compiler used to +produce the work, or an object code interpreter used to run it. + + The "Corresponding Source" for a work in object code form means all +the source code needed to generate, install, and (for an executable +work) run the object code and to modify the work, including scripts to +control those activities. However, it does not include the work's +System Libraries, or general-purpose tools or generally available free +programs which are used unmodified in performing those activities but +which are not part of the work. For example, Corresponding Source +includes interface definition files associated with source files for +the work, and the source code for shared libraries and dynamically +linked subprograms that the work is specifically designed to require, +such as by intimate data communication or control flow between those +subprograms and other parts of the work. + + The Corresponding Source need not include anything that users +can regenerate automatically from other parts of the Corresponding +Source. + + The Corresponding Source for a work in source code form is that +same work. + + 2. Basic Permissions. + + All rights granted under this License are granted for the term of +copyright on the Program, and are irrevocable provided the stated +conditions are met. This License explicitly affirms your unlimited +permission to run the unmodified Program. The output from running a +covered work is covered by this License only if the output, given its +content, constitutes a covered work. This License acknowledges your +rights of fair use or other equivalent, as provided by copyright law. + + You may make, run and propagate covered works that you do not +convey, without conditions so long as your license otherwise remains +in force. You may convey covered works to others for the sole purpose +of having them make modifications exclusively for you, or provide you +with facilities for running those works, provided that you comply with +the terms of this License in conveying all material for which you do +not control copyright. Those thus making or running the covered works +for you must do so exclusively on your behalf, under your direction +and control, on terms that prohibit them from making any copies of +your copyrighted material outside their relationship with you. + + Conveying under any other circumstances is permitted solely under +the conditions stated below. Sublicensing is not allowed; section 10 +makes it unnecessary. + + 3. Protecting Users' Legal Rights From Anti-Circumvention Law. + + No covered work shall be deemed part of an effective technological +measure under any applicable law fulfilling obligations under article +11 of the WIPO copyright treaty adopted on 20 December 1996, or +similar laws prohibiting or restricting circumvention of such +measures. + + When you convey a covered work, you waive any legal power to forbid +circumvention of technological measures to the extent such circumvention +is effected by exercising rights under this License with respect to +the covered work, and you disclaim any intention to limit operation or +modification of the work as a means of enforcing, against the work's +users, your or third parties' legal rights to forbid circumvention of +technological measures. + + 4. Conveying Verbatim Copies. + + You may convey verbatim copies of the Program's source code as you +receive it, in any medium, provided that you conspicuously and +appropriately publish on each copy an appropriate copyright notice; +keep intact all notices stating that this License and any +non-permissive terms added in accord with section 7 apply to the code; +keep intact all notices of the absence of any warranty; and give all +recipients a copy of this License along with the Program. + + You may charge any price or no price for each copy that you convey, +and you may offer support or warranty protection for a fee. + + 5. Conveying Modified Source Versions. + + You may convey a work based on the Program, or the modifications to +produce it from the Program, in the form of source code under the +terms of section 4, provided that you also meet all of these conditions: + + a) The work must carry prominent notices stating that you modified + it, and giving a relevant date. + + b) The work must carry prominent notices stating that it is + released under this License and any conditions added under section + 7. This requirement modifies the requirement in section 4 to + "keep intact all notices". + + c) You must license the entire work, as a whole, under this + License to anyone who comes into possession of a copy. This + License will therefore apply, along with any applicable section 7 + additional terms, to the whole of the work, and all its parts, + regardless of how they are packaged. This License gives no + permission to license the work in any other way, but it does not + invalidate such permission if you have separately received it. + + d) If the work has interactive user interfaces, each must display + Appropriate Legal Notices; however, if the Program has interactive + interfaces that do not display Appropriate Legal Notices, your + work need not make them do so. + + A compilation of a covered work with other separate and independent +works, which are not by their nature extensions of the covered work, +and which are not combined with it such as to form a larger program, +in or on a volume of a storage or distribution medium, is called an +"aggregate" if the compilation and its resulting copyright are not +used to limit the access or legal rights of the compilation's users +beyond what the individual works permit. Inclusion of a covered work +in an aggregate does not cause this License to apply to the other +parts of the aggregate. + + 6. Conveying Non-Source Forms. + + You may convey a covered work in object code form under the terms +of sections 4 and 5, provided that you also convey the +machine-readable Corresponding Source under the terms of this License, +in one of these ways: + + a) Convey the object code in, or embodied in, a physical product + (including a physical distribution medium), accompanied by the + Corresponding Source fixed on a durable physical medium + customarily used for software interchange. + + b) Convey the object code in, or embodied in, a physical product + (including a physical distribution medium), accompanied by a + written offer, valid for at least three years and valid for as + long as you offer spare parts or customer support for that product + model, to give anyone who possesses the object code either (1) a + copy of the Corresponding Source for all the software in the + product that is covered by this License, on a durable physical + medium customarily used for software interchange, for a price no + more than your reasonable cost of physically performing this + conveying of source, or (2) access to copy the + Corresponding Source from a network server at no charge. + + c) Convey individual copies of the object code with a copy of the + written offer to provide the Corresponding Source. This + alternative is allowed only occasionally and noncommercially, and + only if you received the object code with such an offer, in accord + with subsection 6b. + + d) Convey the object code by offering access from a designated + place (gratis or for a charge), and offer equivalent access to the + Corresponding Source in the same way through the same place at no + further charge. You need not require recipients to copy the + Corresponding Source along with the object code. If the place to + copy the object code is a network server, the Corresponding Source + may be on a different server (operated by you or a third party) + that supports equivalent copying facilities, provided you maintain + clear directions next to the object code saying where to find the + Corresponding Source. Regardless of what server hosts the + Corresponding Source, you remain obligated to ensure that it is + available for as long as needed to satisfy these requirements. + + e) Convey the object code using peer-to-peer transmission, provided + you inform other peers where the object code and Corresponding + Source of the work are being offered to the general public at no + charge under subsection 6d. + + A separable portion of the object code, whose source code is excluded +from the Corresponding Source as a System Library, need not be +included in conveying the object code work. + + A "User Product" is either (1) a "consumer product", which means any +tangible personal property which is normally used for personal, family, +or household purposes, or (2) anything designed or sold for incorporation +into a dwelling. In determining whether a product is a consumer product, +doubtful cases shall be resolved in favor of coverage. For a particular +product received by a particular user, "normally used" refers to a +typical or common use of that class of product, regardless of the status +of the particular user or of the way in which the particular user +actually uses, or expects or is expected to use, the product. A product +is a consumer product regardless of whether the product has substantial +commercial, industrial or non-consumer uses, unless such uses represent +the only significant mode of use of the product. + + "Installation Information" for a User Product means any methods, +procedures, authorization keys, or other information required to install +and execute modified versions of a covered work in that User Product from +a modified version of its Corresponding Source. The information must +suffice to ensure that the continued functioning of the modified object +code is in no case prevented or interfered with solely because +modification has been made. + + If you convey an object code work under this section in, or with, or +specifically for use in, a User Product, and the conveying occurs as +part of a transaction in which the right of possession and use of the +User Product is transferred to the recipient in perpetuity or for a +fixed term (regardless of how the transaction is characterized), the +Corresponding Source conveyed under this section must be accompanied +by the Installation Information. But this requirement does not apply +if neither you nor any third party retains the ability to install +modified object code on the User Product (for example, the work has +been installed in ROM). + + The requirement to provide Installation Information does not include a +requirement to continue to provide support service, warranty, or updates +for a work that has been modified or installed by the recipient, or for +the User Product in which it has been modified or installed. Access to a +network may be denied when the modification itself materially and +adversely affects the operation of the network or violates the rules and +protocols for communication across the network. + + Corresponding Source conveyed, and Installation Information provided, +in accord with this section must be in a format that is publicly +documented (and with an implementation available to the public in +source code form), and must require no special password or key for +unpacking, reading or copying. + + 7. Additional Terms. + + "Additional permissions" are terms that supplement the terms of this +License by making exceptions from one or more of its conditions. +Additional permissions that are applicable to the entire Program shall +be treated as though they were included in this License, to the extent +that they are valid under applicable law. If additional permissions +apply only to part of the Program, that part may be used separately +under those permissions, but the entire Program remains governed by +this License without regard to the additional permissions. + + When you convey a copy of a covered work, you may at your option +remove any additional permissions from that copy, or from any part of +it. (Additional permissions may be written to require their own +removal in certain cases when you modify the work.) You may place +additional permissions on material, added by you to a covered work, +for which you have or can give appropriate copyright permission. + + Notwithstanding any other provision of this License, for material you +add to a covered work, you may (if authorized by the copyright holders of +that material) supplement the terms of this License with terms: + + a) Disclaiming warranty or limiting liability differently from the + terms of sections 15 and 16 of this License; or + + b) Requiring preservation of specified reasonable legal notices or + author attributions in that material or in the Appropriate Legal + Notices displayed by works containing it; or + + c) Prohibiting misrepresentation of the origin of that material, or + requiring that modified versions of such material be marked in + reasonable ways as different from the original version; or + + d) Limiting the use for publicity purposes of names of licensors or + authors of the material; or + + e) Declining to grant rights under trademark law for use of some + trade names, trademarks, or service marks; or + + f) Requiring indemnification of licensors and authors of that + material by anyone who conveys the material (or modified versions of + it) with contractual assumptions of liability to the recipient, for + any liability that these contractual assumptions directly impose on + those licensors and authors. + + All other non-permissive additional terms are considered "further +restrictions" within the meaning of section 10. If the Program as you +received it, or any part of it, contains a notice stating that it is +governed by this License along with a term that is a further +restriction, you may remove that term. If a license document contains +a further restriction but permits relicensing or conveying under this +License, you may add to a covered work material governed by the terms +of that license document, provided that the further restriction does +not survive such relicensing or conveying. + + If you add terms to a covered work in accord with this section, you +must place, in the relevant source files, a statement of the +additional terms that apply to those files, or a notice indicating +where to find the applicable terms. + + Additional terms, permissive or non-permissive, may be stated in the +form of a separately written license, or stated as exceptions; +the above requirements apply either way. + + 8. Termination. + + You may not propagate or modify a covered work except as expressly +provided under this License. Any attempt otherwise to propagate or +modify it is void, and will automatically terminate your rights under +this License (including any patent licenses granted under the third +paragraph of section 11). + + However, if you cease all violation of this License, then your +license from a particular copyright holder is reinstated (a) +provisionally, unless and until the copyright holder explicitly and +finally terminates your license, and (b) permanently, if the copyright +holder fails to notify you of the violation by some reasonable means +prior to 60 days after the cessation. + + Moreover, your license from a particular copyright holder is +reinstated permanently if the copyright holder notifies you of the +violation by some reasonable means, this is the first time you have +received notice of violation of this License (for any work) from that +copyright holder, and you cure the violation prior to 30 days after +your receipt of the notice. + + Termination of your rights under this section does not terminate the +licenses of parties who have received copies or rights from you under +this License. If your rights have been terminated and not permanently +reinstated, you do not qualify to receive new licenses for the same +material under section 10. + + 9. Acceptance Not Required for Having Copies. + + You are not required to accept this License in order to receive or +run a copy of the Program. Ancillary propagation of a covered work +occurring solely as a consequence of using peer-to-peer transmission +to receive a copy likewise does not require acceptance. However, +nothing other than this License grants you permission to propagate or +modify any covered work. These actions infringe copyright if you do +not accept this License. Therefore, by modifying or propagating a +covered work, you indicate your acceptance of this License to do so. + + 10. Automatic Licensing of Downstream Recipients. + + Each time you convey a covered work, the recipient automatically +receives a license from the original licensors, to run, modify and +propagate that work, subject to this License. You are not responsible +for enforcing compliance by third parties with this License. + + An "entity transaction" is a transaction transferring control of an +organization, or substantially all assets of one, or subdividing an +organization, or merging organizations. If propagation of a covered +work results from an entity transaction, each party to that +transaction who receives a copy of the work also receives whatever +licenses to the work the party's predecessor in interest had or could +give under the previous paragraph, plus a right to possession of the +Corresponding Source of the work from the predecessor in interest, if +the predecessor has it or can get it with reasonable efforts. + + You may not impose any further restrictions on the exercise of the +rights granted or affirmed under this License. For example, you may +not impose a license fee, royalty, or other charge for exercise of +rights granted under this License, and you may not initiate litigation +(including a cross-claim or counterclaim in a lawsuit) alleging that +any patent claim is infringed by making, using, selling, offering for +sale, or importing the Program or any portion of it. + + 11. Patents. + + A "contributor" is a copyright holder who authorizes use under this +License of the Program or a work on which the Program is based. The +work thus licensed is called the contributor's "contributor version". + + A contributor's "essential patent claims" are all patent claims +owned or controlled by the contributor, whether already acquired or +hereafter acquired, that would be infringed by some manner, permitted +by this License, of making, using, or selling its contributor version, +but do not include claims that would be infringed only as a +consequence of further modification of the contributor version. For +purposes of this definition, "control" includes the right to grant +patent sublicenses in a manner consistent with the requirements of +this License. + + Each contributor grants you a non-exclusive, worldwide, royalty-free +patent license under the contributor's essential patent claims, to +make, use, sell, offer for sale, import and otherwise run, modify and +propagate the contents of its contributor version. + + In the following three paragraphs, a "patent license" is any express +agreement or commitment, however denominated, not to enforce a patent +(such as an express permission to practice a patent or covenant not to +sue for patent infringement). To "grant" such a patent license to a +party means to make such an agreement or commitment not to enforce a +patent against the party. + + If you convey a covered work, knowingly relying on a patent license, +and the Corresponding Source of the work is not available for anyone +to copy, free of charge and under the terms of this License, through a +publicly available network server or other readily accessible means, +then you must either (1) cause the Corresponding Source to be so +available, or (2) arrange to deprive yourself of the benefit of the +patent license for this particular work, or (3) arrange, in a manner +consistent with the requirements of this License, to extend the patent +license to downstream recipients. "Knowingly relying" means you have +actual knowledge that, but for the patent license, your conveying the +covered work in a country, or your recipient's use of the covered work +in a country, would infringe one or more identifiable patents in that +country that you have reason to believe are valid. + + If, pursuant to or in connection with a single transaction or +arrangement, you convey, or propagate by procuring conveyance of, a +covered work, and grant a patent license to some of the parties +receiving the covered work authorizing them to use, propagate, modify +or convey a specific copy of the covered work, then the patent license +you grant is automatically extended to all recipients of the covered +work and works based on it. + + A patent license is "discriminatory" if it does not include within +the scope of its coverage, prohibits the exercise of, or is +conditioned on the non-exercise of one or more of the rights that are +specifically granted under this License. You may not convey a covered +work if you are a party to an arrangement with a third party that is +in the business of distributing software, under which you make payment +to the third party based on the extent of your activity of conveying +the work, and under which the third party grants, to any of the +parties who would receive the covered work from you, a discriminatory +patent license (a) in connection with copies of the covered work +conveyed by you (or copies made from those copies), or (b) primarily +for and in connection with specific products or compilations that +contain the covered work, unless you entered into that arrangement, +or that patent license was granted, prior to 28 March 2007. + + Nothing in this License shall be construed as excluding or limiting +any implied license or other defenses to infringement that may +otherwise be available to you under applicable patent law. + + 12. No Surrender of Others' Freedom. + + If conditions are imposed on you (whether by court order, agreement or +otherwise) that contradict the conditions of this License, they do not +excuse you from the conditions of this License. If you cannot convey a +covered work so as to satisfy simultaneously your obligations under this +License and any other pertinent obligations, then as a consequence you may +not convey it at all. For example, if you agree to terms that obligate you +to collect a royalty for further conveying from those to whom you convey +the Program, the only way you could satisfy both those terms and this +License would be to refrain entirely from conveying the Program. + + 13. Remote Network Interaction; Use with the GNU General Public License. + + Notwithstanding any other provision of this License, if you modify the +Program, your modified version must prominently offer all users +interacting with it remotely through a computer network (if your version +supports such interaction) an opportunity to receive the Corresponding +Source of your version by providing access to the Corresponding Source +from a network server at no charge, through some standard or customary +means of facilitating copying of software. This Corresponding Source +shall include the Corresponding Source for any work covered by version 3 +of the GNU General Public License that is incorporated pursuant to the +following paragraph. + + Notwithstanding any other provision of this License, you have +permission to link or combine any covered work with a work licensed +under version 3 of the GNU General Public License into a single +combined work, and to convey the resulting work. The terms of this +License will continue to apply to the part which is the covered work, +but the work with which it is combined will remain governed by version +3 of the GNU General Public License. + + 14. Revised Versions of this License. + + The Free Software Foundation may publish revised and/or new versions of +the GNU Affero General Public License from time to time. Such new versions +will be similar in spirit to the present version, but may differ in detail to +address new problems or concerns. + + Each version is given a distinguishing version number. If the +Program specifies that a certain numbered version of the GNU Affero General +Public License "or any later version" applies to it, you have the +option of following the terms and conditions either of that numbered +version or of any later version published by the Free Software +Foundation. If the Program does not specify a version number of the +GNU Affero General Public License, you may choose any version ever published +by the Free Software Foundation. + + If the Program specifies that a proxy can decide which future +versions of the GNU Affero General Public License can be used, that proxy's +public statement of acceptance of a version permanently authorizes you +to choose that version for the Program. + + Later license versions may give you additional or different +permissions. However, no additional obligations are imposed on any +author or copyright holder as a result of your choosing to follow a +later version. + + 15. Disclaimer of Warranty. + + THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY +APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT +HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY +OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, +THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR +PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM +IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF +ALL NECESSARY SERVICING, REPAIR OR CORRECTION. + + 16. Limitation of Liability. + + IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING +WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR CONVEYS +THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY +GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE +USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF +DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD +PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), +EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF +SUCH DAMAGES. + + 17. Interpretation of Sections 15 and 16. + + If the disclaimer of warranty and limitation of liability provided +above cannot be given local legal effect according to their terms, +reviewing courts shall apply local law that most closely approximates +an absolute waiver of all civil liability in connection with the +Program, unless a warranty or assumption of liability accompanies a +copy of the Program in return for a fee. + + END OF TERMS AND CONDITIONS + + How to Apply These Terms to Your New Programs + + If you develop a new program, and you want it to be of the greatest +possible use to the public, the best way to achieve this is to make it +free software which everyone can redistribute and change under these terms. + + To do so, attach the following notices to the program. It is safest +to attach them to the start of each source file to most effectively +state the exclusion of warranty; and each file should have at least +the "copyright" line and a pointer to where the full notice is found. + + <one line to give the program's name and a brief idea of what it does.> + Copyright (C) <year> <name of author> + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU Affero General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU Affero General Public License for more details. + + You should have received a copy of the GNU Affero General Public License + along with this program. If not, see <https://www.gnu.org/licenses/>. + +Also add information on how to contact you by electronic and paper mail. + + If your software can interact with users remotely through a computer +network, you should also make sure that it provides a way for users to +get its source. For example, if your program is a web application, its +interface could display a "Source" link that leads users to an archive +of the code. There are many ways you could offer source, and different +solutions will be better for different programs; see section 13 for the +specific requirements. + + You should also get your employer (if you work as a programmer) or school, +if any, to sign a "copyright disclaimer" for the program, if necessary. +For more information on this, and how to apply and follow the GNU AGPL, see +<https://www.gnu.org/licenses/>. diff --git a/instr.cpp b/instr.cpp new file mode 100644 index 0000000..db4f79b --- /dev/null +++ b/instr.cpp @@ -0,0 +1,623 @@ +#include "instr.h" +#include <QString> +#include <QVector> +#include <stdio.h> + +static int imm_none(FILE *const f, QString &instr) +{ + return 0; +} + +static int instr_sig(FILE *const f, QString &instr) +{ + varint7 sig; + + if (read_varint7(f, &sig)) + return -1; + + instr = QString::number(sig); + return 0; +} + +static int imm_readvaruint1(FILE *const f, QString &instr) +{ + varuint1 v; + + if (read_varuint1(f, &v)) + return -1; + + instr = QString::number(v); + return 0; +} + +static int imm_varuint32(FILE *const f, QString &instr) +{ + varuint32 v; + + if (read_varuint32(f, &v)) + return -1; + + instr = QString::number(v); + return 0; +} + +static int imm_varint32(FILE *const f, QString &instr) +{ + varint32 v; + + if (read_varint32(f, &v)) + return -1; + + instr = QString::number(v); + return 0; +} + +static int imm_varint64(FILE *const f, QString &instr) +{ + varint64 v; + + if (read_varint64(f, &v)) + return -1; + + instr = QString::number(v); + return 0; +} + +static int imm_memory(FILE *const f, QString &instr) +{ + varuint32 flags, offset; + + if (read_varuint32(f, &flags) + || read_varuint32(f, &offset)) + return -1; + + instr = "flags=0x" + QString::number(flags, 16) + + ", offset=0x" + QString::number(offset, 16); + return 0; +} + +static int imm_uint32(FILE *const f, QString &instr) +{ + uint32_t v; + + if (!fread(&v, sizeof v, 1, f)) + return -1; + + instr = QString::number(v); + return 0; +} + +static int imm_uint64(FILE *const f, QString &instr) +{ + uint64_t v; + + if (!fread(&v, sizeof v, 1, f)) + return -1; + + instr = QString::number(v); + return 0; +} + +static int imm_table(FILE *const f, QString &instr) +{ + varuint32 table_count; + + if (read_varuint32(f, &table_count)) + { + fprintf(stderr, "%s: read_varuint32 failed\n", __func__); + return -1; + } + + instr = "count=" + QString::number(table_count) + ": ["; + + for (varuint32 i = 0; i < table_count; i++) + { + varuint32 v; + + if (read_varuint32(f, &v)) + { + fprintf(stderr, "%s: read_varuint32 %lu failed\n", __func__, + (unsigned long)i); + return -1; + } + + instr += QString::number(v); + + if (i + 1 < table_count) + instr += ", "; + } + + varuint32 default_target; + + instr += "], default_target="; + + if (read_varuint32(f, &default_target)) + { + fprintf(stderr, "%s: read_varuint32 failed\n", __func__); + return -1; + } + + instr += QString::number(default_target); + return 0; +} + +static int imm_call_indirect(FILE *const f, QString &instr) +{ + varuint32 type_index, reserved; + + if (read_varuint32(f, &type_index)) + { + fprintf(stderr, "%s: read_varuint32 failed\n", __func__); + return -1; + } + else if (read_varuint32(f, &reserved)) + { + fprintf(stderr, "%s: read_varuint1 failed\n", __func__); + return -1; + } + else if (reserved) + { + fprintf(stderr, "%s: expected zero for reserved field\n", __func__); + return -1; + } + + instr = QString::number(type_index); + return 0; +} + +static int imm_extra(FILE *const f, QString &instr) +{ + uint8_t v; + + if (!fread(&v, sizeof v, 1, f)) + return -1; + + instr = QString::number(v); + return 0; +} + +enum op +{ + OP_UNREACHABLE, + OP_NOP, + OP_BLOCK, + OP_LOOP, + OP_IF, + OP_ELSE, + OP_END = 0xb, + OP_BR, + OP_BR_IF, + OP_BR_TABLE, + OP_RETURN, + OP_CALL, + OP_CALL_INDIRECT, + OP_DROP = 0x1a, + OP_SELECT, + OP_GET_LOCAL = 0x20, + OP_SET_LOCAL, + OP_TEE_LOCAL, + OP_GET_GLOBAL, + OP_SET_GLOBAL, + OP_I32_LOAD = 0x28, + OP_I64_LOAD, + OP_F32_LOAD, + OP_F64_LOAD, + OP_I32_LOAD8_S, + OP_I32_LOAD8_U, + OP_I32_LOAD16_S, + OP_I32_LOAD16_U, + OP_I64_LOAD8_S, + OP_I64_LOAD8_U, + OP_I64_LOAD16_S, + OP_I64_LOAD16_U, + OP_I64_LOAD32_S, + OP_I64_LOAD32_U, + OP_I32_STORE, + OP_I64_STORE, + OP_F32_STORE, + OP_F64_STORE, + OP_I32_STORE8, + OP_I32_STORE16, + OP_I64_STORE8, + OP_I64_STORE16, + OP_I64_STORE32, + OP_CURRENT_MEMORY, + OP_GROW_MEMORY, + OP_I32_CONST, + OP_I64_CONST, + OP_F32_CONST, + OP_F64_CONST, + OP_I32_EQZ, + OP_I32_EQ, + OP_I32_NE, + OP_I32_LT_S, + OP_I32_LT_U, + OP_I32_GT_S, + OP_I32_GT_U, + OP_I32_LE_S, + OP_I32_LE_U, + OP_I32_GE_S, + OP_I32_GE_U, + OP_I64_EQZ, + OP_I64_EQ, + OP_I64_NE, + OP_I64_LT_S, + OP_I64_LT_U, + OP_I64_GT_S, + OP_I64_GT_U, + OP_I64_LE_S, + OP_I64_LE_U, + OP_I64_GE_S, + OP_I64_GE_U, + OP_F32_EQ, + OP_F32_NE, + OP_F32_LT, + OP_F32_GT, + OP_F32_LE, + OP_F32_GE, + OP_F64_EQ, + OP_F64_NE, + OP_F64_LT, + OP_F64_GT, + OP_F64_LE, + OP_F64_GE, + OP_I32_CLZ, + OP_I32_CTZ, + OP_I32_POPCNT, + OP_I32_ADD, + OP_I32_SUB, + OP_I32_MUL, + OP_I32_DIV_S, + OP_I32_DIV_U, + OP_I32_REM_S, + OP_I32_REM_U, + OP_I32_AND, + OP_I32_OR, + OP_I32_XOR, + OP_I32_SHL, + OP_I32_SHR_S, + OP_I32_SHR_U, + OP_I32_ROTL, + OP_I32_ROTR, + OP_I64_CLZ, + OP_I64_CTZ, + OP_I64_POPCNT, + OP_I64_ADD, + OP_I64_SUB, + OP_I64_MUL, + OP_I64_DIV_S, + OP_I64_DIV_U, + OP_I64_REM_S, + OP_I64_REM_U, + OP_I64_AND, + OP_I64_OR, + OP_I64_XOR, + OP_I64_SHL, + OP_I64_SHR_S, + OP_I64_SHR_U, + OP_I64_ROTL, + OP_I64_ROTR, + OP_F32_ABS, + OP_F32_NEG, + OP_F32_CEIL, + OP_F32_FLOOR, + OP_F32_TRUNC, + OP_F32_NEAREST, + OP_F32_SQRT, + OP_F32_ADD, + OP_F32_SUB, + OP_F32_MUL, + OP_F32_DIV, + OP_F32_MIN, + OP_F32_MAX, + OP_F32_COPYSIGN, + OP_F64_ABS, + OP_F64_NEG, + OP_F64_CEIL, + OP_F64_FLOOR, + OP_F64_TRUNC, + OP_F64_NEAREST, + OP_F64_SQRT, + OP_F64_ADD, + OP_F64_SUB, + OP_F64_MUL, + OP_F64_DIV, + OP_F64_MIN, + OP_F64_MAX, + OP_F64_COPYSIGN, + OP_I32_WRAP_I64, + OP_I32_TRUNC_S_F32, + OP_I32_TRUNC_U_F32, + OP_I32_TRUNC_S_F64, + OP_I32_TRUNC_U_F64, + OP_I64_EXTEND_S_I32, + OP_I64_EXTEND_U_I32, + OP_I64_TRUNC_S_F32, + OP_I64_TRUNC_U_F32, + OP_I64_TRUNC_S_F64, + OP_I64_TRUNC_U_F64, + OP_F32_CONVERT_S_I32, + OP_F32_CONVERT_U_I32, + OP_F32_CONVERT_S_I64, + OP_F32_CONVERT_U_I64, + OP_F32_DEMOTE_F64, + OP_F64_CONVERT_S_I32, + OP_F64_CONVERT_U_I32, + OP_F64_CONVERT_S_I64, + OP_F64_CONVERT_U_I64, + OP_F64_PROMOTE_F32, + OP_I32_REINTERPRET_F32, + OP_I64_REINTERPRET_F64, + OP_F32_REINTERPRET_I32, + OP_F64_REINTERPRET_I64, + OP_EXTRA = 0xfc, +}; + +#define OPS \ + X(OP_UNREACHABLE, "unreachable", imm_none) \ + X(OP_NOP, "nop", imm_none) \ + X(OP_BLOCK, "block", instr_sig) \ + X(OP_LOOP, "loop", instr_sig) \ + X(OP_IF, "if", instr_sig) \ + X(OP_ELSE, "else", imm_none) \ + X(OP_END, "end", imm_none) \ + X(OP_BR, "br", imm_varuint32) \ + X(OP_BR_IF, "br_if", imm_varuint32) \ + X(OP_BR_TABLE, "br_table", imm_table) \ + X(OP_RETURN, "return", imm_none) \ + X(OP_CALL, "call", imm_varuint32) \ + X(OP_CALL_INDIRECT, "call_indirect", imm_call_indirect) \ + X(OP_DROP, "drop", imm_none) \ + X(OP_SELECT, "select", imm_none) \ + X(OP_GET_LOCAL, "get_local", imm_varuint32) \ + X(OP_SET_LOCAL, "set_local", imm_varuint32) \ + X(OP_TEE_LOCAL, "tee_local", imm_varuint32) \ + X(OP_GET_GLOBAL, "get_global", imm_varuint32) \ + X(OP_SET_GLOBAL, "set_global", imm_varuint32) \ + X(OP_I32_LOAD, "i32_load", imm_memory) \ + X(OP_I64_LOAD, "i64_load", imm_memory) \ + X(OP_F32_LOAD, "f32_load", imm_memory) \ + X(OP_F64_LOAD, "f64_load", imm_memory) \ + X(OP_I32_LOAD8_S, "i32_load8_s", imm_memory) \ + X(OP_I32_LOAD8_U, "i32_load8_u", imm_memory) \ + X(OP_I32_LOAD16_S, "i32_load16_s", imm_memory) \ + X(OP_I32_LOAD16_U, "i32_load16_u", imm_memory) \ + X(OP_I64_LOAD8_S, "i64_load8_s", imm_memory) \ + X(OP_I64_LOAD8_U, "i64_load8_u", imm_memory) \ + X(OP_I64_LOAD16_S, "i64_load16_s", imm_memory) \ + X(OP_I64_LOAD16_U, "i64_load16_u", imm_memory) \ + X(OP_I64_LOAD32_S, "i64_load32_s", imm_memory) \ + X(OP_I64_LOAD32_U, "i64_load32_u", imm_memory) \ + X(OP_I32_STORE, "i32_store", imm_memory) \ + X(OP_I64_STORE, "i64_store", imm_memory) \ + X(OP_F32_STORE, "f32_store", imm_memory) \ + X(OP_F64_STORE, "f64_store", imm_memory) \ + X(OP_I32_STORE8, "i32_store8", imm_memory) \ + X(OP_I32_STORE16, "i32_store16", imm_memory) \ + X(OP_I64_STORE8, "i64_store8", imm_memory) \ + X(OP_I64_STORE16, "i64_store16", imm_memory) \ + X(OP_I64_STORE32, "i64_store32", imm_memory) \ + X(OP_CURRENT_MEMORY, "current_memory", imm_readvaruint1) \ + X(OP_GROW_MEMORY, "grow_memory", imm_readvaruint1) \ + X(OP_I32_CONST, "i32_const", imm_varint32) \ + X(OP_I64_CONST, "i64_const", imm_varint64) \ + X(OP_F32_CONST, "f32_const", imm_uint32) \ + X(OP_F64_CONST, "f64_const", imm_uint64) \ + X(OP_I32_EQZ, "i32_eqz", imm_none) \ + X(OP_I32_EQ, "i32_eq", imm_none) \ + X(OP_I32_NE, "i32_ne", imm_none) \ + X(OP_I32_LT_S, "i32_lt_s", imm_none) \ + X(OP_I32_LT_U, "i32_lt_u", imm_none) \ + X(OP_I32_GT_S, "i32_gt_s", imm_none) \ + X(OP_I32_GT_U, "i32_gt_u", imm_none) \ + X(OP_I32_LE_S, "i32_le_s", imm_none) \ + X(OP_I32_LE_U, "i32_le_u", imm_none) \ + X(OP_I32_GE_S, "i32_ge_s", imm_none) \ + X(OP_I32_GE_U, "i32_ge_u", imm_none) \ + X(OP_I64_EQZ, "i64_eqz", imm_none) \ + X(OP_I64_EQ, "i64_eq", imm_none) \ + X(OP_I64_NE, "i64_ne", imm_none) \ + X(OP_I64_LT_S, "i64_lt_s", imm_none) \ + X(OP_I64_LT_U, "i64_lt_u", imm_none) \ + X(OP_I64_GT_S, "i64_gt_s", imm_none) \ + X(OP_I64_GT_U, "i64_gt_u", imm_none) \ + X(OP_I64_LE_S, "i64_le_s", imm_none) \ + X(OP_I64_LE_U, "i64_le_u", imm_none) \ + X(OP_I64_GE_S, "i64_ge_s", imm_none) \ + X(OP_I64_GE_U, "i64_ge_u", imm_none) \ + X(OP_F32_EQ, "f32_eq", imm_none) \ + X(OP_F32_NE, "f32_ne", imm_none) \ + X(OP_F32_LT, "f32_lt", imm_none) \ + X(OP_F32_GT, "f32_gt", imm_none) \ + X(OP_F32_LE, "f32_le", imm_none) \ + X(OP_F32_GE, "f32_ge", imm_none) \ + X(OP_F64_EQ, "f64_eq", imm_none) \ + X(OP_F64_NE, "f64_ne", imm_none) \ + X(OP_F64_LT, "f64_lt", imm_none) \ + X(OP_F64_GT, "f64_gt", imm_none) \ + X(OP_F64_LE, "f64_le", imm_none) \ + X(OP_F64_GE, "f64_ge", imm_none) \ + X(OP_I32_CLZ, "i32_clz", imm_none) \ + X(OP_I32_CTZ, "i32_ctz", imm_none) \ + X(OP_I32_POPCNT, "i32_popcnt", imm_none) \ + X(OP_I32_ADD, "i32_add", imm_none) \ + X(OP_I32_SUB, "i32_sub", imm_none) \ + X(OP_I32_MUL, "i32_mul", imm_none) \ + X(OP_I32_DIV_S, "i32_div_s", imm_none) \ + X(OP_I32_DIV_U, "i32_div_u", imm_none) \ + X(OP_I32_REM_S, "i32_rem_s", imm_none) \ + X(OP_I32_REM_U, "i32_rem_u", imm_none) \ + X(OP_I32_AND, "i32_and", imm_none) \ + X(OP_I32_OR, "i32_or", imm_none) \ + X(OP_I32_XOR, "i32_xor", imm_none) \ + X(OP_I32_SHL, "i32_shl", imm_none) \ + X(OP_I32_SHR_S, "i32_shr_s", imm_none) \ + X(OP_I32_SHR_U, "i32_shr_u", imm_none) \ + X(OP_I32_ROTL, "i32_rotl", imm_none) \ + X(OP_I32_ROTR, "i32_rotr", imm_none) \ + X(OP_I64_CLZ, "i64_clz", imm_none) \ + X(OP_I64_CTZ, "i64_ctz", imm_none) \ + X(OP_I64_POPCNT, "i64_popcnt", imm_none) \ + X(OP_I64_ADD, "i64_add", imm_none) \ + X(OP_I64_SUB, "i64_sub", imm_none) \ + X(OP_I64_MUL, "i64_mul", imm_none) \ + X(OP_I64_DIV_S, "i64_div_s", imm_none) \ + X(OP_I64_DIV_U, "i64_div_u", imm_none) \ + X(OP_I64_REM_S, "i64_rem_s", imm_none) \ + X(OP_I64_REM_U, "i64_rem_u", imm_none) \ + X(OP_I64_AND, "i64_and", imm_none) \ + X(OP_I64_OR, "i64_or", imm_none) \ + X(OP_I64_XOR, "i64_xor", imm_none) \ + X(OP_I64_SHL, "i64_shl", imm_none) \ + X(OP_I64_SHR_S, "i64_shr_s", imm_none) \ + X(OP_I64_SHR_U, "i64_shr_u", imm_none) \ + X(OP_I64_ROTL, "i64_rotl", imm_none) \ + X(OP_I64_ROTR, "i64_rotr", imm_none) \ + X(OP_F32_ABS, "f32_abs", imm_none) \ + X(OP_F32_NEG, "f32_neg", imm_none) \ + X(OP_F32_CEIL, "f32_ceil", imm_none) \ + X(OP_F32_FLOOR, "f32_floor", imm_none) \ + X(OP_F32_TRUNC, "f32_trunc", imm_none) \ + X(OP_F32_NEAREST, "f32_nearest", imm_none) \ + X(OP_F32_SQRT, "f32_sqrt", imm_none) \ + X(OP_F32_ADD, "f32_add", imm_none) \ + X(OP_F32_SUB, "f32_sub", imm_none) \ + X(OP_F32_MUL, "f32_mul", imm_none) \ + X(OP_F32_DIV, "f32_div", imm_none) \ + X(OP_F32_MIN, "f32_min", imm_none) \ + X(OP_F32_MAX, "f32_max", imm_none) \ + X(OP_F32_COPYSIGN, "f32_copysign", imm_none) \ + X(OP_F64_ABS, "f64_abs", imm_none) \ + X(OP_F64_NEG, "f64_neg", imm_none) \ + X(OP_F64_CEIL, "f64_ceil", imm_none) \ + X(OP_F64_FLOOR, "f64_floor", imm_none) \ + X(OP_F64_TRUNC, "f64_trunc", imm_none) \ + X(OP_F64_NEAREST, "f64_nearest", imm_none) \ + X(OP_F64_SQRT, "f64_sqrt", imm_none) \ + X(OP_F64_ADD, "f64_add", imm_none) \ + X(OP_F64_SUB, "f64_sub", imm_none) \ + X(OP_F64_MUL, "f64_mul", imm_none) \ + X(OP_F64_DIV, "f64_div", imm_none) \ + X(OP_F64_MIN, "f64_min", imm_none) \ + X(OP_F64_MAX, "f64_max", imm_none) \ + X(OP_F64_COPYSIGN, "f64_copysign", imm_none) \ + X(OP_I32_WRAP_I64, "i32_wrap_i64", imm_none) \ + X(OP_I32_TRUNC_S_F32, "i32_trunc_s_f32", imm_none) \ + X(OP_I32_TRUNC_U_F32, "i32_trunc_u_f32", imm_none) \ + X(OP_I32_TRUNC_S_F64, "i32_trunc_s_f64", imm_none) \ + X(OP_I32_TRUNC_U_F64, "i32_trunc_u_f64", imm_none) \ + X(OP_I64_EXTEND_S_I32, "i64_extend_s_i32", imm_none) \ + X(OP_I64_EXTEND_U_I32, "i64_extend_u_i32", imm_none) \ + X(OP_I64_TRUNC_S_F32, "i64_trunc_s_f32", imm_none) \ + X(OP_I64_TRUNC_U_F32, "i64_trunc_u_f32", imm_none) \ + X(OP_I64_TRUNC_S_F64, "i64_trunc_s_f64", imm_none) \ + X(OP_I64_TRUNC_U_F64, "i64_trunc_u_f64", imm_none) \ + X(OP_F32_CONVERT_S_I32, "f32_convert_s_i32", imm_none) \ + X(OP_F32_CONVERT_U_I32, "f32_convert_u_i32", imm_none) \ + X(OP_F32_CONVERT_S_I64, "f32_convert_s_i64", imm_none) \ + X(OP_F32_CONVERT_U_I64, "f32_convert_u_i64", imm_none) \ + X(OP_F32_DEMOTE_F64, "f32_demote_f64", imm_none) \ + X(OP_F64_CONVERT_S_I32, "f64_convert_s_i32", imm_none) \ + X(OP_F64_CONVERT_U_I32, "f64_convert_u_i32", imm_none) \ + X(OP_F64_CONVERT_S_I64, "f64_convert_s_i64", imm_none) \ + X(OP_F64_CONVERT_U_I64, "f64_convert_u_i64", imm_none) \ + X(OP_F64_PROMOTE_F32, "f64_promote_f32", imm_none) \ + X(OP_I32_REINTERPRET_F32, "i32_reinterpret_f32", imm_none) \ + X(OP_I64_REINTERPRET_F64, "i64_reinterpret_f64", imm_none) \ + X(OP_F32_REINTERPRET_I32, "f32_reinterpret_i32", imm_none) \ + X(OP_F64_REINTERPRET_I64, "f64_reinterpret_i64", imm_none) \ + X(OP_EXTRA, "extra", imm_extra) + + +struct opcode +{ + enum op op; + const char *s; + int (*read)(FILE *f, QString &); +}; + +static const opcode opcodes[] = +{ +#define X(x, y, z) {x, y, z}, + OPS +#undef X +}; + +int WasmInstr::parse(FILE *const f, WasmInstr &i, QString &error, + bool *const end) +{ + quint8 opcode; + const long start = ftell(f); + + if (start < 0) + { + error = QString("ftell(3) failed: ") + strerror(errno); + return -1; + } + else if (!fread(&opcode, sizeof opcode, 1, f)) + { + error = "fread(3) failed, ferror(3)=" + + QString::number(ferror(f)) + ", feof(3)=" + + QString::number(feof(f)); + return -1; + } + + for (const auto &o : opcodes) + if (opcode == o.op) + { + QString imm; + + if (o.read(f, imm)) + return -1; + else if (end) + *end = opcode == OP_END; + + i.instr = QString(o.s) + " " + imm; + i.address = start; + return 0; + } + + error = "Unknown opcode at offset 0x" + QString::number(start, 16) + +": 0x" + QString::number(opcode, 16); + return -1; +} + +int WasmInstr::parse(FILE *const f, varuint32 maxlen, + QVector<WasmInstr> &vinstr, QString &error) +{ + while (maxlen) + { + WasmInstr i; + + const long start = ftell(f); + + if (start < 0) + { + error = QString("ftell(3) failed: ") + strerror(errno); + return -1; + } + else if (parse(f, i, error)) + return -1; + + const long end = ftell(f); + + if (end < 0) + { + error = QString("ftell(3) failed: ") + strerror(errno); + return -1; + } + + const unsigned long consumed = end - start; + + if (consumed > maxlen) + { + error = "Function body exceeds expected size"; + return -1; + } + + maxlen -= consumed; + vinstr.push_back(i); + } + + return 0; +} @@ -0,0 +1,24 @@ +#ifndef INSTR_H +#define INSTR_H + +#include "types.h" +#include <QString> +#include <stdio.h> + +struct WasmInstr +{ + quint32 address; + QString instr; + + static int parse(FILE *f, WasmInstr &instr, QString &error, + bool *end = nullptr); + static int parse(FILE *f, varuint32 maxlen, QVector<WasmInstr> &instr, + QString &error); + bool operator==(const WasmInstr &other) const + { + return address == other.address + && instr == other.instr; + } +}; + +#endif diff --git a/leb128.c b/leb128.c new file mode 100644 index 0000000..091ff85 --- /dev/null +++ b/leb128.c @@ -0,0 +1,170 @@ +/* + * nwc, a NanoWasm compiler + * Copyright (C) 2025 Xavier Del Campo Romero + * + * This program is free software: you can redistribute it and/or modify + * it under the terms of the GNU General Public License as published by + * the Free Software Foundation, either version 3 of the License, or + * (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program. If not, see <http://www.gnu.org/licenses/>. + */ + +/* + * Adapted from: + * + * nanowasm, a tiny WebAssembly/Wasm interpreter + * Copyright (C) 2023-2024 Xavier Del Campo Romero + * + * This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at https://mozilla.org/MPL/2.0/. + * + * Which, in turn, was adapted from the wac project: + * https://github.com/kanaka/wac + * + * Copyright (C) Joel Martin <github@martintribe.org> + * The wac project is licensed under the MPL 2.0 (Mozilla Public License + * 2.0). The text of the MPL 2.0 license is included below and can be + * found at https://www.mozilla.org/MPL/2.0/ + */ + +#include "types.h" +#include <stdbool.h> +#include <stdint.h> +#include <stdio.h> + +static int read_leb128(FILE *const f, const unsigned maxbits, const bool sign, + unsigned long long *const out) +{ + uint8_t byte; + unsigned long long result = 0; + unsigned shift = 0, bcnt = 0; + + for (;;) + { + if (!fread(&byte, sizeof byte, 1, f)) + { + if (ferror(f)) + fprintf(stderr, "%s: ferror\n", __func__); + + return -1; + } + + result |= (unsigned long long)(byte & 0x7f) << shift; + shift += 7; + + if (!(byte & 0x80)) + break; + else if (++bcnt > (maxbits + 7u - 1u) / 7u) + { + fprintf(stderr, "%s: overflow\n", __func__); + return -1; + } + } + + if (sign && (shift < maxbits) && (byte & 0x40)) + result |= -1ll << shift; + + *out = result; + return 0; +} + +int read_varint1(FILE *const f, varint1 *const out) +{ + unsigned long long res; + + if (read_leb128(f, 1, true, &res)) + return -1; + + *out = res; + return 0; +} + +int read_varint7(FILE *const f, varint7 *const out) +{ + unsigned long long res; + + if (read_leb128(f, 7, true, &res)) + return -1; + + *out = res; + return 0; +} + +int read_value_type(FILE *const f, value_type *const out) +{ + return read_varint7(f, out); +} + +int read_varint32(FILE *const f, varint32 *const out) +{ + unsigned long long res; + + if (read_leb128(f, 32, true, &res)) + return -1; + + *out = res; + return 0; +} + +int read_varint64(FILE *const f, varint64 *const out) +{ + unsigned long long res; + + if (read_leb128(f, 64, true, &res)) + return -1; + + *out = res; + return 0; +} + +int read_varuint1(FILE *const f, varuint1 *const out) +{ + unsigned long long res; + + if (read_leb128(f, 1, false, &res)) + return -1; + + *out = res; + return 0; +} + +int read_varuint7(FILE *const f, varuint7 *const out) +{ + unsigned long long res; + + if (read_leb128(f, 7, false, &res)) + return -1; + + *out = res; + return 0; +} + +int read_varuint32(FILE *const f, varuint32 *const out) +{ + unsigned long long res; + + if (read_leb128(f, 32, false, &res)) + return -1; + + *out = res; + return 0; +} + +int read_varuint64(FILE *const f, varuint64 *const out) +{ + unsigned long long res; + + if (read_leb128(f, 64, false, &res)) + return -1; + + *out = res; + return 0; +} diff --git a/main.cpp b/main.cpp new file mode 100644 index 0000000..8977eff --- /dev/null +++ b/main.cpp @@ -0,0 +1,11 @@ +#include "qwadb.h" + +#include <QApplication> + +int main(int argc, char *argv[]) +{ + QApplication a(argc, argv); + QWadb w(a); + w.show(); + return a.exec(); +} diff --git a/qwadb.cpp b/qwadb.cpp new file mode 100644 index 0000000..db3e2ec --- /dev/null +++ b/qwadb.cpp @@ -0,0 +1,761 @@ +#include "qwadb.h" +#include "ui_qwadb.h" +#include "wasm.h" +#include <QBrush> +#include <QColor> +#include <QCommandLineParser> +#include <QFileDialog> +#include <QMessageBox> +#include <QPushButton> +#include <QTcpSocket> +#include <cctype> +#include <cstdint> + +#define invoke(o, p) ((*o).*(p)) + +int QWadb::trap(const QList<QByteArray> ¶ms) +{ + bool ok; + const auto addr = params.at(0).toUInt(&ok, 0); + + if (!ok) + return -1; + + const auto &globals = w.globals(); + + ui.pause->setEnabled(false); + ui.globals->setRowCount(globals.size()); + + for (int i = 0; i < globals.size(); i++) + { + request req; + + req.type = request::type::global; + req.index = req.rindex = i; + req.v = QVariant::fromValue(globals.at(i)); + push(req); + } + + const auto pr = w.routine(addr); + + if (pr.isValid()) + { + const auto r = pr.value<WasmRoutine>(); + const auto &p = r.params; + const auto &l = r.locals; + + ui.code->clear(); + ui.code->setRowCount(r.instructions.size()); + + for (int i = 0; i < r.instructions.size(); i++) + { + const auto &in = r.instructions.at(i); + const auto saddr = QString::number(in.address, 16); + const auto addr_it = new QTableWidgetItem(saddr), + instr = new QTableWidgetItem(in.instr); + + if (in.address == addr) + { + const auto brush = QBrush(QColor(255, 0, 0)); + + addr_it->setForeground(brush); + instr->setForeground(brush); + } + + ui.code->setItem(i, 0, addr_it); + ui.code->setItem(i, 1, instr); + } + + for (int i = 0; i < p.size(); i++) + { + request req; + + req.type = request::type::param; + req.index = req.rindex = i; + req.v = QVariant::fromValue(p.at(i)); + push(req); + } + + for (int i = 0; i < l.size(); i++) + { + request req; + + req.type = request::type::local; + req.index = i; + req.rindex = i + p.size(); + req.v = QVariant::fromValue(l.at(i)); + push(req); + } + + ui.locals->setRowCount(l.size()); + ui.params->setRowCount(p.size()); + ui.routine->setText(r.name); + } + else + { + ui.params->clear(); + ui.routine->setText("??"); + } + + { + QStringList headers; + + headers << tr("Address"); + headers << tr("Instruction"); + ui.code->setHorizontalHeaderLabels(headers); + } + + { + QStringList headers; + + headers << tr("Name"); + headers << tr("Type"); + headers << tr("Value"); + ui.params->setHorizontalHeaderLabels(headers); + } + + { + QStringList headers; + + headers << tr("Index"); + headers << tr("Name"); + headers << tr("Type"); + headers << tr("Value"); + ui.params->setHorizontalHeaderLabels(headers); + } + + { + QStringList headers; + + headers << tr("Index"); + headers << tr("Type"); + headers << tr("Value"); + ui.locals->setHorizontalHeaderLabels(headers); + } + + ui.pc->setText("0x" + QString::number(addr, 16)); + emit sendreq(); + return 0; +} + +int QWadb::parse_global(const QList<QByteArray> ¶ms) const +{ + const auto s = params.at(0); + const auto g = lastreq.v.value<WasmGlobal>(); + const auto v = parse_value(s, g.type); + + if (v.isNull()) + return -1; + + const auto uip = ui.globals; + QString stype = to_string(g.type); + + if (!g.mutability) + stype = "const " + stype; + + const auto index = new QTableWidgetItem(QString::number(lastreq.rindex)), + type = new QTableWidgetItem(stype), + value = new QTableWidgetItem(QString(s)); + + uip->setItem(lastreq.index, 0, index); + uip->setItem(lastreq.index, 1, type); + uip->setItem(lastreq.index, 2, value); + return 0; +} + +int QWadb::parse_param(const QList<QByteArray> ¶ms) const +{ + const auto s = params.at(0); + const auto p = lastreq.v.value<WasmParam>(); + /* FIXME: WasmParam should have a valid type. */ + const auto v = parse_value(s, WasmType::i64/* p.type */); + + if (v.isNull()) + return -1; + + const auto uip = ui.params; + const auto index = new QTableWidgetItem(QString::number(lastreq.rindex)), + name = new QTableWidgetItem(p.name), + type = new QTableWidgetItem(p.dwtype), + value = new QTableWidgetItem(QString(s)); + + uip->setItem(lastreq.index, 0, index); + uip->setItem(lastreq.index, 1, name); + uip->setItem(lastreq.index, 2, type); + uip->setItem(lastreq.index, 3, value); + return 0; +} + +const char *QWadb::to_fmt(const WasmType type) const +{ + switch (type) + { + case WasmType::i32: + return "i"; + + case WasmType::i64: + return "I"; + + case WasmType::f32: + return "f"; + + case WasmType::f64: + return "F"; + } + + return nullptr; +} + +const char *QWadb::to_string(const WasmType type) const +{ + switch (type) + { + case WasmType::i32: + return "i32"; + + case WasmType::i64: + return "i64"; + + case WasmType::f32: + return "f32"; + + case WasmType::f64: + return "f64"; + } + + return nullptr; +} + +int QWadb::from_string(const QString &s, WasmType &type) const +{ + int ret = 0; + + if (s == "i32") + type = WasmType::i32; + else if (s == "i64") + type = WasmType::i64; + else if (s == "f32") + type = WasmType::f32; + else if (s == "f64") + type = WasmType::f64; + else + ret = -1; + + return ret; +} + +QVariant QWadb::parse_value(const QByteArray &v, const WasmType type) const +{ + bool ok; + QVariant ret; + + switch (type) + { + case WasmType::i32: + ret = QVariant::fromValue(v.toUInt(&ok, 0)); + break; + + case WasmType::i64: + ret = QVariant::fromValue(v.toULongLong(&ok, 0)); + break; + + case WasmType::f32: + case WasmType::f64: + ret = QVariant::fromValue(v.toFloat(&ok)); + break; + } + + return ok ? ret : QVariant(); +} + +int QWadb::parse_local(const QList<QByteArray> ¶ms) const +{ + const auto s = params.at(0); + const auto p = lastreq.v.value<WasmLocal>(); + const auto v = parse_value(s, p.type); + + if (v.isNull()) + return -1; + + const auto stype = to_string(p.type); + const auto uil = ui.locals; + const auto index = new QTableWidgetItem(QString::number(lastreq.rindex)), + type = new QTableWidgetItem(stype), + value = new QTableWidgetItem(QString(s)); + + uil->setItem(lastreq.index, 0, index); + uil->setItem(lastreq.index, 1, type); + uil->setItem(lastreq.index, 2, value); + return 0; +} + +int QWadb::parse_linear(const QList<QByteArray> ¶ms) const +{ + const auto s = params.at(0); + const auto type = lastreq.v.value<QWadbLinear>().type; + const auto v = parse_value(s, type); + struct item + { + QTableWidgetItem *addr, *value; + }; + + if (v.isNull()) + return -1; + + ui.linear_mem->clear(); + ui.linear_value->setText(s); + + size_t n; + + switch (type) + { + case WasmType::i32: + n = sizeof (int32_t); + break; + + case WasmType::i64: + n = sizeof (int64_t); + break; + + case WasmType::f32: + n = sizeof (float); + break; + + case WasmType::f64: + n = sizeof (double); + break; + } + + ui.linear_mem->setRowCount(n); + + for (size_t i = 0; i < n; i++) + { + auto it = new item; + quint8 byte; + + switch (type) + { + case WasmType::i32: + byte = v.toUInt() >> (i * 8); + break; + + case WasmType::i64: + byte = v.toULongLong() >> (i * 8); + break; + + case WasmType::f32: + case WasmType::f64: + /* HACK */ + byte = static_cast<uintmax_t>(v.toFloat()) >> (i * 8); + break; + } + + auto sbyte = QString::number(byte, 16); + + if (isprint(byte)) + { + char c[sizeof "a"]; + + snprintf(c, sizeof c, "%c", byte); + sbyte += " '" + QString(c) + "'"; + } + + it->addr = new QTableWidgetItem(QString::number(lastreq.index + i, 16)); + it->value = new QTableWidgetItem(sbyte); + + ui.linear_mem->setItem(i, 0, it->addr); + ui.linear_mem->setItem(i, 1, it->value); + } + + return 0; +} + +int QWadb::ok(const QList<QByteArray> ¶ms) +{ + int ret = 0; + + switch (lastreq.type) + { + case request::type::global: + ret = parse_global(params); + break; + + case request::type::param: + ret = parse_param(params); + break; + + case request::type::local: + ret = parse_local(params); + break; + + case request::type::linear: + ret = parse_linear(params); + break; + + case request::type::bkpt: + break; + } + + emit sendreq(); + return ret; +} + +int QWadb::parse(const QByteArray &frame) +{ + typedef int (QWadb::*method)(const QList<QByteArray> &); + + static const struct + { + const char *s; + method fn; + } methods[] = + { + {"trap", &QWadb::trap}, + {"ok", &QWadb::ok} + }; + + const auto tokens = frame.split(':'); + + for (const auto &m : methods) + if (m.s == tokens.at(0)) + return invoke(this, m.fn)(tokens.mid(1)); + + return -1; +} + +int QWadb::push(const request &r) +{ + reqs.enqueue(r); + return 0; +} + +int QWadb::pop(request &r) +{ + if (reqs.isEmpty()) + return -1; + + r = reqs.dequeue(); + return 0; +} + +int QWadb::process(const QByteArray &frame) +{ + if (frame.contains(':')) + return parse(frame); + + return 0; +} + +int QWadb::getlf(const char b) +{ + const int maxlen = 128; + + if (b == '\n') + { + const auto ret = process(frame); + + frame.clear(); + step = &QWadb::getsync; + return ret; + } + else if (frame.length() >= maxlen) + return -1; + + frame.append(b); + return 0; +} + +int QWadb::getsync(const char b) +{ + if (b == ';') + step = &QWadb::getlf; + + return 0; +} + +int QWadb::write(const QByteArray &ba) +{ + auto rem = ba.size(); + const char *p = ba.constData(); + + while (rem) + { + auto n = socket.write(p, rem); + + if (n < 0) + return -1; + + rem -= n; + p += n; + } + + return 0; +} + +void QWadb::disconnected(void) +{ + connected = false; + ui.run->setEnabled(false); + ui.step->setEnabled(false); + ui.pause->setEnabled(false); + ui.linear_read->setEnabled(false); + ui.connect->setEnabled(true); + ui.connect->setText(tr("Connect")); +} + +void QWadb::open(const QString &path) +{ + Wasm w; + QString error; + + if (w.open(path, error)) + { + QMessageBox::critical(this, tr("QWadb"), error); + ui.modpath->clear(); + return; + } + + ui.modpath->setText(path); + this->w = w; +} + +QWadb::QWadb(const QCoreApplication &app, QWidget *parent) + : QMainWindow(parent), + connected(false), + socket(this), + step(&QWadb::getsync) +{ + QCommandLineParser parser; + QStringList args; + + ui.setupUi(this); + parser.addHelpOption(); + parser.addPositionalArgument("file", "WebAssembly file to debug"); + parser.process(app); + args = parser.positionalArguments(); + + if (args.size()) + open(args.at(0)); + + connect(&socket, &QTcpSocket::connected, this, + [this] + { + connected = true; + ui.connect->setEnabled(true); + ui.connect->setText(tr("Disconnect")); + }); + + connect(&socket, &QTcpSocket::disconnected, this, &QWadb::disconnected); + + connect(&socket, &QTcpSocket::errorOccurred, this, + [this] + { + socket.disconnect(); + ui.run->setEnabled(false); + ui.step->setEnabled(false); + ui.pause->setEnabled(false); + ui.linear_read->setEnabled(false); + emit disconnected(); + QMessageBox::critical(this, tr("QWadb"), socket.errorString()); + }); + + connect(&socket, &QTcpSocket::readyRead, this, + [this] + { + auto ba = socket.readAll(); + + for (auto b : ba) + if (invoke(this, step)(b)) + { + frame.clear(); + step = &QWadb::getsync; + } + }); + + connect(ui.open, &QPushButton::released, this, + [this] + { + auto f = QFileDialog::getOpenFileName(this, tr("Open Wasm file")); + + if (f.isEmpty()) + return; + + open(f); + }); + + connect(ui.connect, &QPushButton::released, this, + [this] + { + if (connected) + { + socket.disconnect(); + emit disconnected(); + return; + } + + const auto host = ui.host->text(), port = ui.port->text(); + + if (host.isEmpty() || port.isEmpty()) + { + QMessageBox::critical(this, tr("QWadb"), + tr("Missing hostname or port")); + return; + } + + ui.connect->setEnabled(false); + ui.connect->setText(tr("Connecting...")); + socket.connectToHost(host, port.toUInt()); + }); + + connect(ui.step, &QPushButton::released, this, + [this] + { + ui.run->setEnabled(false); + ui.step->setEnabled(false); + ui.pause->setEnabled(true); + ui.toggle_bkpt->setEnabled(false); + ui.linear_read->setEnabled(false); + + write(";s\n"); + }); + + connect(ui.run, &QPushButton::released, this, + [this] + { + ui.run->setEnabled(false); + ui.step->setEnabled(false); + ui.pause->setEnabled(true); + ui.toggle_bkpt->setEnabled(false); + + write(";c\n"); + }); + + connect(ui.toggle_bkpt, &QPushButton::released, this, + [this] + { + const auto s = ui.bkpt->text(); + QVariant r; + request req; + + req.type = request::type::bkpt; + + if (s.isEmpty()) + { + QMessageBox::information(this, tr("QWadb"), + tr("Missing function name or address")); + return; + } + else if ((r = w.routine(s)).isValid()) + req.index = r.value<WasmRoutine>().lopc; + else + { + bool ok; + const auto addr = s.toUInt(&ok, 0); + + if (!ok) + { + QMessageBox::warning(this, tr("QWadb"), + tr("Invalid function name or address: ") + s); + return; + } + + req.index = addr; + } + + ui.bkpt->clear(); + push(req); + emit sendreq(); + }); + + connect(ui.pause, &QPushButton::released, this, + [this] + { + QByteArray ba; + + ui.pause->setEnabled(false); + ba.push_back(-1); + socket.write(ba); + }); + + connect(ui.linear_read, &QPushButton::released, this, + [this] + { + QWadbLinear l; + request r; + bool ok; + const auto saddr = ui.linear_addr->text(), + stype = ui.linear_type->currentText(); + unsigned long addr = saddr.toULong(&ok, 0); + + if (!ok || addr > UINT32_MAX) + { + QMessageBox::warning(this, tr("QWadb"), + tr("Invalid address: ") + saddr); + return; + } + else if (from_string(stype, l.type)) + { + QMessageBox::warning(this, tr("QWadb"), + tr("Invalid type: ") + stype); + return; + } + + r.type = request::type::linear; + r.index = addr; + r.v = QVariant::fromValue(l); + ui.run->setEnabled(false); + ui.step->setEnabled(false); + ui.linear_read->setEnabled(false); + push(r); + emit sendreq(); + }); + + connect(this, &QWadb::sendreq, this, + [this] + { + request r; + + if (pop(r)) + { + ui.toggle_bkpt->setEnabled(true); + ui.step->setEnabled(true); + ui.run->setEnabled(true); + ui.linear_read->setEnabled(true); + return; + } + + QByteArray ba = ";"; + + switch (r.type) + { + case request::type::global: + ba.push_back("g:"); + break; + + case request::type::bkpt: + ba.push_back("b:"); + break; + + case request::type::param: + ba.push_back("p:"); + break; + + case request::type::local: + ba.push_back("l:"); + break; + + case request::type::linear: + { + const auto type = r.v.value<QWadbLinear>().type; + + ba.push_back("m:" + QByteArray(to_fmt(type)) + ":"); + } + break; + } + + ba.push_back(QString::number(r.index).toUtf8()); + ba.push_back('\n'); + write(ba); + lastreq = r; + }); +} @@ -0,0 +1,82 @@ +#ifndef QWADB_H +#define QWADB_H + +#include <QByteArray> +#include <QList> +#include <QMainWindow> +#include <QTcpSocket> +#include <QQueue> +#include "ui_qwadb.h" +#include "wasm.h" + +QT_BEGIN_NAMESPACE +namespace Ui { +class QWadb; +} +QT_END_NAMESPACE + +struct QWadbLinear +{ + WasmType type; +}; + +Q_DECLARE_METATYPE(QWadbLinear); + +class QWadb : public QMainWindow +{ + Q_OBJECT + +public: + QWadb(const QCoreApplication &app, QWidget *parent = nullptr); + +private: + + struct request + { + enum class type {global, local, param, bkpt, linear} type; + varuint32 index, rindex; + QVariant v; + }; + + void open(const QString &path); + + int trap(const QList<QByteArray> &frame); + int ok(const QList<QByteArray> &frame); + int parse(const QByteArray &frame); + int process(const QByteArray &frame); + QVariant parse_value(const QByteArray &v, WasmType type) const; + int parse_global(const QList<QByteArray> ¶ms) const; + int parse_param(const QList<QByteArray> ¶ms) const; + int parse_local(const QList<QByteArray> ¶ms) const; + int parse_linear(const QList<QByteArray> ¶ms) const; + + int push(const request &r); + int pop(request &r); + + typedef int (QWadb::*stepfn)(char); + int getlf(char b); + int getsync(char b); + + int write(const QByteArray &ba); + + const char *to_fmt(WasmType type) const; + const char *to_string(WasmType type) const; + int from_string(const QString &s, WasmType &type) const; + + request lastreq; + bool connected; + QTcpSocket socket; + QByteArray frame; + QQueue<request> reqs; + stepfn step; + Ui::QWadb ui; + Wasm w; + +signals: + void sendreq(void); + +private slots: + void disconnected(void); +}; + +#endif diff --git a/qwadb.ui b/qwadb.ui new file mode 100644 index 0000000..85c66cb --- /dev/null +++ b/qwadb.ui @@ -0,0 +1,510 @@ +<?xml version="1.0" encoding="UTF-8"?> +<ui version="4.0"> + <class>QWadb</class> + <widget class="QMainWindow" name="QWadb"> + <property name="geometry"> + <rect> + <x>0</x> + <y>0</y> + <width>800</width> + <height>644</height> + </rect> + </property> + <property name="windowTitle"> + <string>QWadb</string> + </property> + <widget class="QWidget" name="centralwidget"> + <layout class="QGridLayout" name="gridLayout_2"> + <item row="0" column="0"> + <layout class="QGridLayout" name="gridLayout"> + <item row="2" column="0"> + <layout class="QHBoxLayout" name="horizontalLayout_2"> + <item> + <widget class="QLabel" name="label_3"> + <property name="text"> + <string>Host:</string> + </property> + </widget> + </item> + <item> + <widget class="QLineEdit" name="host"> + <property name="text"> + <string>localhost</string> + </property> + <property name="clearButtonEnabled"> + <bool>true</bool> + </property> + </widget> + </item> + <item> + <widget class="QLabel" name="label_4"> + <property name="text"> + <string>Port:</string> + </property> + </widget> + </item> + <item> + <widget class="QLineEdit" name="port"> + <property name="text"> + <string>33307</string> + </property> + <property name="maxLength"> + <number>5</number> + </property> + <property name="clearButtonEnabled"> + <bool>true</bool> + </property> + </widget> + </item> + </layout> + </item> + <item row="4" column="0"> + <widget class="QTableWidget" name="code"> + <property name="sizePolicy"> + <sizepolicy hsizetype="Expanding" vsizetype="Expanding"> + <horstretch>0</horstretch> + <verstretch>0</verstretch> + </sizepolicy> + </property> + <property name="font"> + <font> + <family>FreeMono</family> + </font> + </property> + <property name="editTriggers"> + <set>QAbstractItemView::NoEditTriggers</set> + </property> + <property name="selectionBehavior"> + <enum>QAbstractItemView::SelectRows</enum> + </property> + <property name="gridStyle"> + <enum>Qt::NoPen</enum> + </property> + <property name="cornerButtonEnabled"> + <bool>true</bool> + </property> + <property name="rowCount"> + <number>0</number> + </property> + <property name="columnCount"> + <number>2</number> + </property> + <attribute name="horizontalHeaderVisible"> + <bool>true</bool> + </attribute> + <attribute name="horizontalHeaderStretchLastSection"> + <bool>true</bool> + </attribute> + <attribute name="verticalHeaderVisible"> + <bool>false</bool> + </attribute> + <column> + <property name="text"> + <string>Address</string> + </property> + </column> + <column> + <property name="text"> + <string>Instruction</string> + </property> + </column> + </widget> + </item> + <item row="4" column="1"> + <widget class="QTabWidget" name="tabWidget"> + <property name="currentIndex"> + <number>0</number> + </property> + <widget class="QWidget" name="tab_7"> + <attribute name="title"> + <string>Variables</string> + </attribute> + <layout class="QVBoxLayout" name="verticalLayout_3"> + <item> + <layout class="QVBoxLayout" name="verticalLayout"> + <item> + <widget class="QLabel" name="label_2"> + <property name="text"> + <string>Parameters:</string> + </property> + </widget> + </item> + <item> + <widget class="QTableWidget" name="params"> + <property name="editTriggers"> + <set>QAbstractItemView::NoEditTriggers</set> + </property> + <property name="gridStyle"> + <enum>Qt::NoPen</enum> + </property> + <property name="rowCount"> + <number>0</number> + </property> + <property name="columnCount"> + <number>4</number> + </property> + <attribute name="horizontalHeaderStretchLastSection"> + <bool>true</bool> + </attribute> + <attribute name="verticalHeaderVisible"> + <bool>false</bool> + </attribute> + <column> + <property name="text"> + <string>Index</string> + </property> + </column> + <column> + <property name="text"> + <string>Name</string> + </property> + </column> + <column> + <property name="text"> + <string>Type</string> + </property> + </column> + <column> + <property name="text"> + <string>Value</string> + </property> + </column> + </widget> + </item> + <item> + <widget class="QLabel" name="label"> + <property name="text"> + <string>Locals:</string> + </property> + </widget> + </item> + <item> + <widget class="QTableWidget" name="locals"> + <property name="editTriggers"> + <set>QAbstractItemView::NoEditTriggers</set> + </property> + <attribute name="horizontalHeaderStretchLastSection"> + <bool>true</bool> + </attribute> + <attribute name="verticalHeaderVisible"> + <bool>false</bool> + </attribute> + <column> + <property name="text"> + <string>Index</string> + </property> + </column> + <column> + <property name="text"> + <string>Type</string> + </property> + </column> + <column> + <property name="text"> + <string>Value</string> + </property> + </column> + </widget> + </item> + <item> + <widget class="QLabel" name="label_5"> + <property name="text"> + <string>Globals:</string> + </property> + </widget> + </item> + <item> + <widget class="QTableWidget" name="globals"> + <attribute name="verticalHeaderVisible"> + <bool>false</bool> + </attribute> + <column> + <property name="text"> + <string>Index</string> + </property> + </column> + <column> + <property name="text"> + <string>Type</string> + </property> + </column> + <column> + <property name="text"> + <string>Value</string> + </property> + </column> + </widget> + </item> + </layout> + </item> + </layout> + </widget> + <widget class="QWidget" name="tab_8"> + <attribute name="title"> + <string>Linear memory</string> + </attribute> + <layout class="QVBoxLayout" name="verticalLayout_5"> + <item> + <layout class="QVBoxLayout" name="verticalLayout_4"> + <item> + <layout class="QHBoxLayout" name="horizontalLayout_7"> + <item> + <widget class="QLabel" name="label_9"> + <property name="text"> + <string>Linear memory:</string> + </property> + </widget> + </item> + <item> + <widget class="QLineEdit" name="linear_addr"> + <property name="sizePolicy"> + <sizepolicy hsizetype="Expanding" vsizetype="Fixed"> + <horstretch>0</horstretch> + <verstretch>0</verstretch> + </sizepolicy> + </property> + </widget> + </item> + <item> + <widget class="QComboBox" name="linear_type"> + <item> + <property name="text"> + <string>i32</string> + </property> + </item> + <item> + <property name="text"> + <string>i64</string> + </property> + </item> + <item> + <property name="text"> + <string>f32</string> + </property> + </item> + <item> + <property name="text"> + <string>f64</string> + </property> + </item> + </widget> + </item> + <item> + <widget class="QPushButton" name="linear_read"> + <property name="text"> + <string>Read</string> + </property> + </widget> + </item> + </layout> + </item> + </layout> + </item> + <item> + <layout class="QVBoxLayout" name="verticalLayout_7"> + <item> + <widget class="QLineEdit" name="linear_value"> + <property name="enabled"> + <bool>true</bool> + </property> + <property name="readOnly"> + <bool>true</bool> + </property> + </widget> + </item> + <item> + <widget class="QTableWidget" name="linear_mem"> + <attribute name="horizontalHeaderStretchLastSection"> + <bool>true</bool> + </attribute> + <attribute name="verticalHeaderVisible"> + <bool>false</bool> + </attribute> + <column> + <property name="text"> + <string>Address</string> + </property> + </column> + <column> + <property name="text"> + <string>Value</string> + </property> + </column> + </widget> + </item> + </layout> + </item> + </layout> + </widget> + </widget> + </item> + <item row="2" column="1"> + <layout class="QHBoxLayout" name="horizontalLayout_4"> + <item> + <widget class="QPushButton" name="connect"> + <property name="text"> + <string>Connect</string> + </property> + </widget> + </item> + <item> + <widget class="QPushButton" name="open"> + <property name="text"> + <string>Open file</string> + </property> + </widget> + </item> + </layout> + </item> + </layout> + </item> + <item row="1" column="0"> + <layout class="QVBoxLayout" name="verticalLayout_2"> + <item> + <layout class="QHBoxLayout" name="horizontalLayout_5"> + <item> + <widget class="QLabel" name="label_7"> + <property name="sizePolicy"> + <sizepolicy hsizetype="Minimum" vsizetype="Preferred"> + <horstretch>0</horstretch> + <verstretch>0</verstretch> + </sizepolicy> + </property> + <property name="text"> + <string>Loaded Wasm module:</string> + </property> + </widget> + </item> + <item> + <widget class="QLabel" name="modpath"> + <property name="sizePolicy"> + <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> + <horstretch>1</horstretch> + <verstretch>0</verstretch> + </sizepolicy> + </property> + <property name="text"> + <string/> + </property> + </widget> + </item> + </layout> + </item> + <item> + <layout class="QHBoxLayout" name="horizontalLayout_3"> + <item> + <widget class="QLabel" name="label_8"> + <property name="text"> + <string>Program counter:</string> + </property> + </widget> + </item> + <item> + <widget class="QLabel" name="pc"> + <property name="sizePolicy"> + <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> + <horstretch>1</horstretch> + <verstretch>0</verstretch> + </sizepolicy> + </property> + <property name="text"> + <string/> + </property> + </widget> + </item> + <item> + <widget class="QLabel" name="label_6"> + <property name="text"> + <string>Routine:</string> + </property> + </widget> + </item> + <item> + <widget class="QLabel" name="routine"> + <property name="sizePolicy"> + <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> + <horstretch>1</horstretch> + <verstretch>0</verstretch> + </sizepolicy> + </property> + <property name="text"> + <string/> + </property> + </widget> + </item> + </layout> + </item> + <item> + <layout class="QHBoxLayout" name="horizontalLayout_6"> + <item> + <widget class="QLineEdit" name="bkpt"/> + </item> + <item> + <widget class="QPushButton" name="toggle_bkpt"> + <property name="enabled"> + <bool>false</bool> + </property> + <property name="text"> + <string>Toggle breakpoint</string> + </property> + </widget> + </item> + </layout> + </item> + <item> + <layout class="QHBoxLayout" name="horizontalLayout"> + <item> + <widget class="QPushButton" name="step"> + <property name="enabled"> + <bool>false</bool> + </property> + <property name="text"> + <string>Single step (F10)</string> + </property> + </widget> + </item> + <item> + <widget class="QPushButton" name="run"> + <property name="enabled"> + <bool>false</bool> + </property> + <property name="text"> + <string>Continue (F5)</string> + </property> + </widget> + </item> + <item> + <widget class="QPushButton" name="pause"> + <property name="enabled"> + <bool>false</bool> + </property> + <property name="text"> + <string>Pause</string> + </property> + </widget> + </item> + </layout> + </item> + </layout> + </item> + </layout> + </widget> + <widget class="QMenuBar" name="menubar"> + <property name="geometry"> + <rect> + <x>0</x> + <y>0</y> + <width>800</width> + <height>30</height> + </rect> + </property> + </widget> + <widget class="QStatusBar" name="statusbar"> + <property name="enabled"> + <bool>true</bool> + </property> + </widget> + </widget> + <resources/> + <connections/> +</ui> @@ -0,0 +1,74 @@ +/* + * wadb, a WebAssembly debugger + * Copyright (C) 2025 Xavier Del Campo Romero + * + * This program is free software: you can redistribute it and/or modify + * it under the terms of the GNU Affero General Public License as published by + * the Free Software Foundation, either version 3 of the License, or + * (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU Affero General Public License for more details. + * + * You should have received a copy of the GNU Affero General Public License + * along with this program. If not, see <https://www.gnu.org/licenses/>. + */ + +#ifndef TYPES_H +#define TYPES_H + +#include <stdbool.h> +#include <stddef.h> +#include <stdint.h> +#include <stdio.h> + +#ifdef __cplusplus +extern "C" +{ +#endif + +enum +{ + SECTION_CUSTOM, + SECTION_TYPE, + SECTION_IMPORT, + SECTION_FUNCTION, + SECTION_TABLE, + SECTION_MEMORY, + SECTION_GLOBAL, + SECTION_EXPORT, + SECTION_START, + SECTION_ELEMENT, + SECTION_CODE, + SECTION_DATA +}; + +typedef bool varint1; +typedef bool varuint1; +typedef signed char varint7; +typedef short varint16; +typedef long varint32; +typedef long long varint64; +typedef unsigned char varuint7; +typedef unsigned short varuint16; +typedef unsigned long varuint32; +typedef unsigned long long varuint64; +typedef varint7 value_type; + +int read_varint1(FILE *f, varint1 *out); +int read_varint7(FILE *f, varint7 *out); +int read_varint32(FILE *f, varint32 *out); +int read_varint64(FILE *f, varint64 *out); +int read_varuint1(FILE *f, varuint1 *out); +int read_varuint7(FILE *f, varuint7 *out); +int read_varuint32(FILE *f, varuint32 *out); +int read_varuint64(FILE *f, varuint64 *out); +int read_value_type(FILE *f, value_type *out); + +#ifdef __cplusplus +} +#endif + +#endif diff --git a/wasm.cpp b/wasm.cpp new file mode 100644 index 0000000..7bd6920 --- /dev/null +++ b/wasm.cpp @@ -0,0 +1,1108 @@ +#include "instr.h" +#include "wasm.h" +#include "types.h" +#include <dwarf.h> +#include <libdwarf/libdwarf.h> +#include <QFile> +#include <QString> +#include <cerrno> +#include <cstdint> +#include <cstdlib> +#include <cstring> +#include <stdexcept> + +const char *const Wasm::names[NSECTIONS] = +{ + "", + ".debug_abbrev", + ".debug_info", + ".debug_str", + ".debug_aranges", + ".debug_frame", + ".debug_line", + ".debug_loc", + ".debug_macinfo", + ".debug_pubnames", + ".debug_pubtypes", + ".debug_ranges", + ".debug_types" +}; + +static void errcb(const Dwarf_Error e, const Dwarf_Ptr args) +{ + fprintf(stderr, "%s\n", __func__); +} + +int Wasm::get_section_info(void *const obj, const Dwarf_Half section_index, + Dwarf_Obj_Access_Section *const return_section, int *const error) +{ + const Wasm *const w = static_cast<const Wasm *>(obj); + + if (section_index >= sizeof w->sections / sizeof *w->sections) + { + fprintf(stderr, "%s: invalid section_index: %hd\n", __func__, + section_index); + return DW_DLV_ERROR; + } + + const struct dwsection *const s = &w->sections[section_index]; + + if (!names[section_index] && !s->len) + return DW_DLV_NO_ENTRY; + + return_section->size = s->len; + return_section->addr = s->offset; + return_section->name = names[section_index]; + return 0; +} + +static Dwarf_Endianness get_byte_order(void *const obj) +{ + return DW_OBJECT_LSB; +} + +static Dwarf_Small get_length_size(void *const obj) +{ + return sizeof (uint32_t); +} + +static Dwarf_Small get_pointer_size(void *const obj) +{ + return sizeof (uint32_t); +} + +Dwarf_Unsigned Wasm::get_section_count(void *const obj) +{ + const Wasm *const w = static_cast<const Wasm *>(obj); + Dwarf_Unsigned ret = 0; + + for (size_t i = 0; i < sizeof w->sections / sizeof *w->sections; i++) + if (w->sections[i].offset) + ret++; + + return ret; +} + +int Wasm::load_section(void *const obj, const Dwarf_Half section_index, + Dwarf_Small **const return_data, int *const error) +{ + Wasm *const w = static_cast<Wasm *>(obj); + FILE *const f = w->f; + struct dwsection *s; + const char *name; + + if (section_index >= NSECTIONS) + { + fprintf(stderr, "%s: invalid section_index %hd\n", __func__, + section_index); + return DW_DLV_ERROR; + } + + s = &w->sections[section_index]; + name = names[section_index]; + + QVector<Dwarf_Small> &p = s->data; + + if (!s->offset) + { + fprintf(stderr, "%s: unavailable section: %s\n", __func__, name); + return DW_DLV_ERROR; + } + else if (!s->len) + { + fprintf(stderr, "%s: unexpected zero length for section: %s\n", + __func__, name); + return DW_DLV_ERROR; + } + + p.reserve(s->len); + + if (fseek(f, s->offset, SEEK_SET)) + { + fprintf(stderr, "%s: fseek(3): %s\n", __func__, strerror(errno)); + return DW_DLV_ERROR; + } + else if (!fread(p.data(), s->len, 1, f)) + { + fprintf(stderr, "%s: fread(3) failed, feof=%d, ferror=%d\n", __func__, + feof(f), ferror(f)); + return DW_DLV_ERROR; + } + + *return_data = p.data(); + return DW_DLV_OK; +} + +int Wasm::check_header(QString &error) const +{ + uint8_t magic[sizeof "asm"], version[sizeof (uint32_t)]; + static const uint8_t exp[sizeof version] = {1, 0, 0, 0}; + + if (!fread(magic, sizeof magic, 1, f)) + { + error = QString("fread(3) magic failed, feof=") + + QString::number(feof(f)) + ", ferror=" + + QString::number(ferror(f)); + return -1; + } + else if (memcmp(magic, "\0asm", sizeof magic)) + { + error = "invalid magic number"; + return -1; + } + else if (!fread(version, sizeof version, 1, f)) + { + error = QString("fread(3) version failed, feof=") + + QString::number(feof(f)) + ", ferror=" + + QString::number(ferror(f)); + return -1; + } + else if (memcmp(version, exp, sizeof version)) + { + error = "invalid version number"; + return -1; + } + + return 0; +} + +int Wasm::read_name(QString &name, QString &error) const +{ + varuint32 name_len; + + if (read_varuint32(f, &name_len)) + { + error = "read_varuint32 failed"; + return -1; + } + + for (varuint32 i = 0; i < name_len; i++) + { + uint8_t c; + const size_t r = fread(&c, sizeof c, 1, f); + + if (!r) + { + error = "fread(3) failed, ferror(3)=" + + QString::number(ferror(f)) + "feof(3)=" + + QString::number(feof(f)); + return -1; + } + + name += c; + } + + return 0; +} + +int Wasm::parse_header(section &s, QString &error) const +{ + varuint7 code; + varuint32 payload_len; + QString name; + long before, after; + + if (read_varuint7(f, &code)) + { + /* Exceptionally, this might not be a fatal error. */ + if (!feof(f)) + error = "read_varuint7 failed"; + + return -1; + } + else if (read_varuint32(f, &payload_len)) + { + error = "read_varuint32 failed"; + return -1; + } + else if ((before = ftell(f)) < 0) + { + error = QString("ftell(3) before: ") + strerror(errno); + return -1; + } + else if (!code && read_name(name, error)) + return -1; + else if ((after = ftell(f)) < 0) + { + error = QString("ftell(3) after: ") + strerror(errno); + return -1; + } + + const unsigned long sz = after - before; + + if (payload_len < sz) + { + error = "section " + QString::number(code) + + ": expected payload_len >= " + QString::number(sz) + + ", got " + QString::number(payload_len); + return -1; + } + + s.code = code; + s.len = payload_len - sz; + s.name = name; + return 0; +} + +int Wasm::skip(const section &s, QString &error) const +{ + const int ret = fseek(f, s.len, SEEK_CUR); + + if (ret) + error = QString("fseek(3): ") + strerror(errno); + + return ret; +} + +Wasm::dwsection *Wasm::getdws(const QString &name) +{ + for (size_t i = 0; i < sizeof names / sizeof *names; i++) + if (name == names[i]) + return §ions[i]; + + return NULL; +} + +int Wasm::parse_global(QString &error) +{ + varuint32 count; + + if (read_varuint32(f, &count)) + { + error = "read_varuint32 failed"; + return -1; + } + + for (varuint32 i = 0; i < count; i++) + { + WasmGlobal gl; + WasmType wtype; + value_type content_type; + varuint1 mutability; + + if (read_value_type(f, &content_type)) + { + error = "read_value_type failed"; + return -1; + } + else if (get_type(content_type, wtype)) + { + error = "Invalid type for global " + QString::number(i) + + ": 0x" + QString::number(content_type, 16); + return -1; + } + else if (read_varuint1(f, &mutability)) + { + error = "read_varuint1 failed"; + return -1; + } + + int ret; + bool end; + WasmInstr instr; + + while (!(ret = WasmInstr::parse(f, instr, error, &end)) && !end) + ; + + if (ret) + return ret; + + gl.mutability = mutability; + gl.type = wtype; + vglobals.push_back(gl); + } + + return 0; +} + +int Wasm::parse_import(QString &error) +{ + varuint32 fncnt = 0, count; + + if (read_varuint32(f, &count)) + { + error = "read_varuint32 failed"; + return -1; + } + + for (varuint32 i = 0; i < count; i++) + { + varuint32 module_len, field_len; + quint8 external_kind; + enum {FUNCTION, TABLE, MEMORY, GLOBAL}; + + if (read_varuint32(f, &module_len)) + { + error = "read_varuint32 failed"; + return -1; + } + else if (fseek(f, module_len, SEEK_CUR)) + { + error = QString("fseek(3): ") + strerror(errno); + return -1; + } + else if (read_varuint32(f, &field_len)) + { + error = "read_varuint32 failed"; + return -1; + } + else if (fseek(f, field_len, SEEK_CUR)) + { + error = QString("fseek(3): ") + strerror(errno); + return -1; + } + else if (!fread(&external_kind, sizeof external_kind, 1, f)) + { + error = "fread(3) failed, ferror(3)=" + QString::number(ferror(f)) + + ", feof(3)=" + QString::number(feof(f)); + return -1; + } + else if (external_kind == FUNCTION) + { + varuint32 type; + + if (read_varuint32(f, &type)) + { + error = "read_varuint32 failed"; + return -1; + } + + fncnt++; + } + } + + import_fncnt = fncnt; + return 0; +} + +int Wasm::get_type(const value_type type, WasmType &wtype) const +{ + static const struct + { + value_type v; + WasmType wtype; + } types[] = + { + {0x7f, WasmType::i32}, + {0x7e, WasmType::i64}, + {0x7d, WasmType::f32}, + {0x7c, WasmType::f64} + }; + + for (const auto &t : types) + if (type == t.v) + { + wtype = t.wtype; + return 0; + } + + return -1; +} + +int Wasm::parse_body(const varuint32 index, QString &error) +{ + varuint32 body_size, local_count; + QVector<WasmLocal> locals; + long start; + + if (read_varuint32(f, &body_size)) + { + error = "read_varuint32 failed"; + return -1; + } + else if ((start = ftell(f)) < 0) + { + error = QString("ftell(3)") + strerror(errno); + return -1; + } + else if (read_varuint32(f, &local_count)) + { + error = "read_varuint32 failed"; + return -1; + } + + for (varuint32 i = 0; i < local_count; i++) + { + varuint32 count; + value_type type; + WasmType wtype; + + if (read_varuint32(f, &count)) + { + error = "read_varuint32 failed"; + return -1; + } + else if (read_value_type(f, &type)) + { + error = "read_value_type failed"; + return -1; + } + else if (get_type(type, wtype)) + { + error = "Invalid value_type for function " + + QString::number(index) + ": 0x" + QString::number(type, 16); + return -1; + } + + for (varuint32 i = 0; i < count; i++) + { + WasmLocal l; + + l.type = wtype; + locals.push_back(l); + } + } + + const long end = ftell(f); + + if (end < 0) + { + error = QString("ftell(3)") + strerror(errno); + return -1; + } + + const unsigned long delta = end - start; + + if (delta >= body_size) + { + error = "Function " + QString::number(index) + + " exceeds maximum body preamble size (" + + QString::number(delta) + "/" + QString::number(body_size) + ")"; + return -1; + } + + const unsigned long len = body_size - delta; + QVector<WasmInstr> instr; + + if (WasmInstr::parse(f, len, instr, error)) + return -1; + + WasmRoutine r; + + r.lopc = end; + r.hipc = r.lopc + len; + r.instructions = instr; + r.locals = locals; + fmap[index + import_fncnt] = r; + return 0; +} + +int Wasm::parse_code(QString &error) +{ + varuint32 count; + + if (read_varuint32(f, &count)) + { + error = "read_varuint32 failed"; + return -1; + } + + for (varuint32 i = 0; i < count; i++) + if (parse_body(i, error)) + return -1; + + return 0; +} + +int Wasm::parse_fname(QString &error, const varuint32 maxlen) +{ + varuint32 count; + const long start = ftell(f); + + if (start < 0) + { + error = QString("ftell(3): ") + strerror(errno); + return -1; + } + else if (read_varuint32(f, &count)) + { + error = "read_varuint32 failed"; + return -1; + } + + for (varuint32 i = 0; i < count; i++) + { + varuint32 index, name_len; + QString name_payload_data; + + if (read_varuint32(f, &index) + || read_varuint32(f, &name_len)) + { + error = "read_varuint32 failed"; + return -1; + } + + for (varuint32 i = 0; i < name_len; i++) + { + quint8 b; + + if (!fread(&b, sizeof b, 1, f)) + { + error = "fread(3) failed, ferror(3)=" + + QString::number(ferror(f)) + ", feof(3)=" + + QString::number(feof(f)); + return -1; + } + + name_payload_data += b; + } + + if (index >= import_fncnt) + { + if (!fmap.contains(index)) + { + error = "Could not find function index " + + QString::number(index) + + " from code section (" + name_payload_data + ")"; + return -1; + } + + auto r = fmap[index]; + + r.name = name_payload_data; + fmap[index] = r; + } + } + + const long end = ftell(f); + + if (end < 0) + { + error = QString("ftell(3): ") + strerror(errno); + return -1; + } + + const unsigned long delta = end - start; + + if (delta != maxlen) + { + error = "Name entry mismatches expected length (" + + QString::number(delta) + "/" + QString::number(maxlen) + ")"; + return -1; + } + + return 0; +} + +int Wasm::parse_name(QString &error, varuint32 len) +{ + varuint7 name_type; + varuint32 name_payload_len; + enum {MODULE, FUNCTION, LOCAL}; + + while (len) + { + if (read_varuint7(f, &name_type)) + { + error = "read_varuint7 failed"; + return -1; + } + else if (read_varuint32(f, &name_payload_len)) + { + error = "read_varuint32 failed"; + return -1; + } + else if (!name_payload_len) + { + error = "Invalid zero name_payload_len"; + return -1; + } + else if (name_payload_len > len) + { + error = "name_payload_len exceeds maximum allowed length (" + + QString::number(name_payload_len) + "/" + + QString::number(len) + ")"; + return -1; + } + else if (name_type != FUNCTION) + { + if (name_type != LOCAL && name_type != MODULE) + { + error = "Invalid name_type: 0x" + + QString::number(name_type, 16); + return -1; + } + else if (fseek(f, name_payload_len, SEEK_CUR)) + { + error = QString("fseek(3): ") + strerror(errno); + return -1; + } + } + else + return parse_fname(error, name_payload_len); + + len -= name_payload_len; + } + + return 0; +} + +int Wasm::read_section(QString &error) +{ + struct section s; + struct dwsection *dws; + long start, offset; + + if ((start = ftell(f)) < 0) + { + error = QString("ftell(3) start") + strerror(errno); + return -1; + } + else if (parse_header(s, error)) + return -1; + else if (s.code == SECTION_GLOBAL) + return parse_global(error); + else if (s.code == SECTION_IMPORT) + return parse_import(error); + else if (s.code == SECTION_CODE) + { + code_offset = start; + return parse_code(error); + } + else if (s.code != SECTION_CUSTOM) + return skip(s, error); + else if (!(dws = getdws(s.name))) + { + if (s.name == "name") + return parse_name(error, s.len); + else + return skip(s, error); + } + else if ((offset = ftell(f)) < 0) + { + error = QString("ftell(3) offset") + strerror(errno); + return -1; + } + else + { + dws->len = s.len; + dws->offset = offset; + + return skip(s, error); + } + + return 0; +} + +int Wasm::parse(QString &error) +{ + if (check_header(error)) + return -1; + + for (;;) + if (read_section(error)) + { + if (feof(f)) + break; + + return -1; + } + + return 0; +} + +bool Wasm::isformstring(const Dwarf_Half form) +{ + switch (form) + { + case DW_FORM_string: + case DW_FORM_GNU_strp_alt: + case DW_FORM_GNU_str_index: + case DW_FORM_strx: + case DW_FORM_strx1: + case DW_FORM_strx2: + case DW_FORM_strx3: + case DW_FORM_strx4: + case DW_FORM_strp: + return true; + + default: + break; + } + + return false; +} + +bool Wasm::isformudata(const Dwarf_Half form) +{ + switch (form) + { + case DW_FORM_data1: + case DW_FORM_data2: + case DW_FORM_data4: + case DW_FORM_data8: + case DW_FORM_udata: + return true; + + default: + break; + } + + return false; +} + +bool Wasm::isformsdata(const Dwarf_Half form) +{ + switch (form) + { + case DW_FORM_data1: + case DW_FORM_data2: + case DW_FORM_data4: + case DW_FORM_data8: + case DW_FORM_sdata: + return true; + + default: + break; + } + + return false; +} + +int Wasm::read_attr(const Dwarf_Attribute a, Dwarf_Error &e, QString &error, + attr &attr) +{ + Dwarf_Half num, form; + const char *atname; + int res = dwarf_whatattr(a, &num, &e); + + if (res != DW_DLV_OK) + { + error = "dwarf_whatattr failed with " + QString::number(res); + return -1; + } + else if ((res = dwarf_whatform(a, &form, &e)) != DW_DLV_OK) + { + error = "dwarf_whatform failed with " + QString::number(res); + return -1; + } + else if ((res = dwarf_get_AT_name(num, &atname)) != DW_DLV_OK) + { + error = "dwarf_get_AT_name failed with " + QString::number(res); + return -1; + } + + attr.name = atname; + + /* TODO: extract type */ + + if (isformstring(form)) + { + char *s; + + if ((res = dwarf_formstring(a, &s, &e)) != DW_DLV_OK) + { + error = "dwarf_formstring failed with " + QString::number(res); + return -1; + } + + attr.value = QVariant(s); + } + else if (form == DW_FORM_addr) + { + Dwarf_Addr addr; + + if ((res = dwarf_formaddr(a, &addr, &e)) != DW_DLV_OK) + { + error = "dwarf_formaddr failed with " + QString::number(res); + return -1; + } + + attr.value = QVariant(addr); + } + else if (isformudata(form)) + { + Dwarf_Unsigned v; + + if ((res = dwarf_formudata(a, &v, &e)) != DW_DLV_OK) + { + error = "dwarf_formudata failed with " + QString::number(res); + return -1; + } + + attr.value = QVariant(v); + } + else if (isformudata(form)) + { + Dwarf_Signed v; + + if ((res = dwarf_formsdata(a, &v, &e)) != DW_DLV_OK) + { + error = "dwarf_formsdata failed with " + QString::number(res); + return -1; + } + + attr.value = QVariant(v); + } + + return 0; +} + +int Wasm::process_die(const Dwarf_Debug dbg, const Dwarf_Die die, + Dwarf_Error &e, QString &error) +{ + Dwarf_Half tag; + Dwarf_Attribute *attrs = NULL; + Dwarf_Signed nattr = 0; + const char *name; + QHash<QString, QVariant> attrmap; + int ret = -1, r = dwarf_tag(die, &tag, &e); + + if (r) + { + error = "dwarf_tag failed with" + QString::number(r); + goto end; + } + else if ((r = dwarf_get_TAG_name(tag, &name))) + name = "<bogus tag>"; + + if ((r = dwarf_attrlist(die, &attrs, &nattr, &e)) == DW_DLV_ERROR) + { + error = "dwarf_attrlist failed"; + goto end; + } + else if (r == DW_DLV_OK) + for (Dwarf_Signed i = 0; i < nattr; i++) + { + attr attr; + + if (read_attr(attrs[i], e, error, attr)) + goto end; + + attrmap[attr.name] = attr.value; + } + + if (!strcmp(name, "DW_TAG_subprogram")) + { + if (code_offset == -1) + { + error = "Code section expected"; + goto end; + } + else if (attrmap.contains("DW_AT_low_pc") + && attrmap["DW_AT_low_pc"].toUInt() != -1u + && attrmap.contains("DW_AT_high_pc")) + { + WasmRoutine wr; + auto name = attrmap["DW_AT_name"].toString(); + auto lopc = attrmap["DW_AT_low_pc"].toUInt() + code_offset, + hipc = attrmap["DW_AT_high_pc"].toUInt() + lopc; + auto r = routine(name); + + if (r.isValid() + || (r = routine(lopc)).isValid() + || (r = routine(hipc)).isValid()) + lastwr = QVariant::fromValue(fmap.key(r.value<WasmRoutine>())); + else + lastwr.clear(); + } + else + lastwr.clear(); + } + else if (!strcmp(name, "DW_TAG_formal_parameter") + && attrmap.contains("DW_AT_name") + && !lastwr.isNull()) + { + const auto index = lastwr.toUInt(); + WasmRoutine r = fmap[index]; + WasmParam wp; + + wp.name = attrmap["DW_AT_name"].toString(); + wp.dwtype = attrmap["DW_AT_type"].toString(); + r.params.push_back(wp); + fmap[index] = r; + } + + ret = 0; + +end: + + for (Dwarf_Signed i = 0; i < nattr; i++) + dwarf_dealloc_attribute(attrs[i]); + + dwarf_dealloc(dbg, attrs, DW_DLA_LIST); + return ret; +} + +int Wasm::read_child(const Dwarf_Debug dbg, Dwarf_Die die, Dwarf_Error &e, + QString &error) +{ + for (;;) + { + int r; + Dwarf_Die child, sibling; + + if (process_die(dbg, die, e, error)) + return -1; + else if ((r = dwarf_child(die, &child, &e)) == DW_DLV_OK) + { + const int ret = read_child(dbg, child, e, error); + + dwarf_dealloc_die(child); + + if (ret) + return ret; + } + else if (r == DW_DLV_ERROR) + { + error = "dwarf_child failed"; + return -1; + } + + if ((r = dwarf_siblingof(dbg, die, &sibling, &e)) == DW_DLV_ERROR) + { + error = "dwarf_siblingof failed"; + return -1; + } + else if (r == DW_DLV_NO_ENTRY) + break; + + die = sibling; + } + + return 0; +} + +int Wasm::read_dwarf(const Dwarf_Debug dbg, header &h, Dwarf_Error &e, + QString &error) +{ + Dwarf_Die die = 0; + int ret = -1; + + for (;;) + { + int r = dwarf_next_cu_header_d(dbg, 1, &h.cu_header_length, + &h.version_stamp, &h.abbrev_offset, &h.address_size, + &h.length_size, &h.extension_size, &h.type_signature, + &h.typeoffset, &h.next_cu_header_offset, &h.header_cu_type, &e); + + die = 0; + + if (r == DW_DLV_ERROR) + { + error = "dwarf_next_cu_header_d failed"; + goto end; + } + else if (r == DW_DLV_NO_ENTRY) + break; + else if ((r = dwarf_siblingof(dbg, NULL, &die, &e)) == DW_DLV_OK) + { + if (read_child(dbg, die, e, error)) + goto end; + } + else if (r == DW_DLV_ERROR) + { + error = "dwarf_siblingof failed with " + QString::number(r); + goto end; + } + else if (DW_DLV_NO_ENTRY) + break; + + dwarf_dealloc_die(die); + } + + ret = 0; + +end: + dwarf_dealloc_die(die); + return ret; +} + +int Wasm::open(const QString &path, QString &error) +{ + int ret = -1, result; + header h; + Dwarf_Obj_Access_Methods m = {0}; + Dwarf_Obj_Access_Interface aitf = {0}; + Dwarf_Debug dbg = 0; + Dwarf_Error dwerr = 0; + const std::string spath = path.toStdString(); + const char *const cpath = spath.c_str(); + + m.get_section_info = get_section_info; + m.get_byte_order = get_byte_order; + m.get_length_size = get_length_size; + m.get_pointer_size = get_pointer_size; + m.get_section_count = get_section_count; + m.load_section = load_section; + + aitf.object = this; + aitf.methods = &m; + + if (!(f = fopen(cpath, "rb"))) + { + error = "Could not open " + path; + goto end; + } + else if (parse(error)) + { + error = "Failed to parse " + path + ":\n" + error; + goto end; + } + else if ((result = dwarf_object_init(&aitf, errcb, this, &dbg, &dwerr)) + != DW_DLV_OK) + { + error = "dwarf_object_init failed with " + QString::number(result) + + ": " + dwarf_errmsg(dwerr); + goto end; + } + else if (read_dwarf(dbg, h, dwerr, error)) + goto end; + + ret = 0; + +end: + + if (f && fclose(f)) + { + error = "fclose(3) " + path + ": " + strerror(errno); + ret = -1; + } + else + f = nullptr; + + if (dbg && dwarf_object_finish(dbg, &dwerr)) + { + error = QString("dwarf_object_finish failed with: ") + + dwarf_errmsg(dwerr); + ret = -1; + } + + return ret; +} + +QVariant Wasm::routine(const QString &name) const +{ + for (const auto &r : fmap.values()) + if (r.name == name) + return QVariant::fromValue(r); + + return QVariant(); +} + +QVariant Wasm::routine(const quint32 addr) const +{ + for (const auto &r : fmap.values()) + if (addr >= r.lopc && addr <= r.hipc) + return QVariant::fromValue(r); + + return QVariant(); +} + +const QVector<WasmGlobal> Wasm::globals() const +{ + return vglobals; +} + +Wasm::Wasm() : + f(nullptr), + code_offset(-1), + import_fncnt(0) +{ +} + +Wasm::~Wasm() +{ + if (f && fclose(f)) + std::runtime_error(std::string("fopen(3): ") + strerror(errno)); +} @@ -0,0 +1,184 @@ +#ifndef WASM_H +#define WASM_H + +#include "instr.h" +#include <libdwarf/libdwarf.h> +#include <QHash> +#include <QObject> +#include <QString> +#include <QVariant> +#include <QVector> +#include <cerrno> +#include <cstdio> +#include <cstring> +#include "types.h" + +enum class WasmType +{ + i32, + i64, + f32, + f64 +}; + +struct WasmGlobal +{ + WasmType type; + bool mutability; + bool operator==(const WasmGlobal &other) const + { + return type == other.type + && mutability == other.mutability; + } +}; + +struct WasmLocal +{ + WasmType type; + bool operator==(const WasmLocal &other) const + { + return type == other.type; + } +}; + +struct WasmParam +{ + QString name, dwtype; + WasmType type; + bool operator==(const WasmParam &other) const + { + return type == other.type + && name == other.name + && dwtype == other.dwtype; + } +}; + +struct WasmRoutine +{ + QString name; + quint32 lopc, hipc; + QVector<WasmParam> params; + QVector<WasmLocal> locals; + QVector<WasmInstr> instructions; + bool operator==(const WasmRoutine &other) const + { + return name == other.name + && lopc == other.lopc + && hipc == other.hipc + && params == other.params + && locals == other.locals + && instructions == other.instructions; + } +}; + +Q_DECLARE_METATYPE(WasmGlobal); +Q_DECLARE_METATYPE(WasmLocal); +Q_DECLARE_METATYPE(WasmParam); +Q_DECLARE_METATYPE(WasmRoutine); + +class Wasm +{ +public: + Wasm(); + ~Wasm(); + int open(const QString &path, QString &error); + const QVector<WasmGlobal> globals() const; + QVariant routine(const QString &name) const; + QVariant routine(quint32 addr) const; + +private: + + struct section + { + varuint7 code; + varuint32 len; + QString name; + }; + + struct dwsection + { + quint32 offset; + varuint32 len; + QVector<Dwarf_Small> data; + dwsection() : offset(0), len(0) {} + }; + + struct header + { + Dwarf_Sig8 type_signature; + Dwarf_Unsigned cu_header_length, typeoffset, next_cu_header_offset; + Dwarf_Half version_stamp, address_size, length_size, extension_size, + header_cu_type; + Dwarf_Off abbrev_offset; + }; + + struct attr + { + QString name; + QVariant value; + }; + + enum + { + DEBUG_EMPTY, + DEBUG_ABBREV, + DEBUG_INFO, + DEBUG_STR, + DEBUG_ARANGES, + DEBUG_FRAME, + DEBUG_LINE, + DEBUG_LOC, + DEBUG_MACINFO, + DEBUG_PUBNAMES, + DEBUG_PUBTYPES, + DEBUG_RANGES, + DEBUG_TYPES, + + NSECTIONS + }; + + int parse(QString &error); + int parse_global(QString &error); + int parse_import(QString &error); + int parse_code(QString &error); + int parse_body(varuint32 index, QString &error); + int parse_name(QString &error, varuint32 len); + int parse_fname(QString &error, varuint32 maxlen); + int get_type(value_type type, WasmType &wtype) const; + int check_header(QString &error) const; + int read_section(QString &error); + int parse_header(section &s, QString &error) const; + int read_name(QString &name, QString &error) const; + dwsection *getdws(const QString &name); + int skip(const section &s, QString &error) const; + int read_dwarf(const Dwarf_Debug dbg, + header &h, Dwarf_Error &e, QString &error); + int read_child(Dwarf_Debug dbg, + Dwarf_Die die, Dwarf_Error &e, QString &error); + int process_die(Dwarf_Debug dbg, + Dwarf_Die die, Dwarf_Error &e, QString &error); + int read_attr(Dwarf_Attribute a, Dwarf_Error &e, QString &error, + attr &attr); + + static bool isformstring(Dwarf_Half form); + static bool isformaddr(Dwarf_Half form); + static bool isformudata(Dwarf_Half form); + static bool isformsdata(Dwarf_Half form); + + static int load_section(void *const obj, const Dwarf_Half section_index, + Dwarf_Small **const return_data, int *const error); + static int get_section_info(void *const obj, const Dwarf_Half section_index, + Dwarf_Obj_Access_Section *const return_section, int *const error); + static Dwarf_Unsigned get_section_count(void *const obj); + + FILE *f; + long code_offset; + varuint32 import_fncnt; + dwsection sections[NSECTIONS]; + QVariant lastwr; + QHash<varuint32, WasmRoutine> fmap; + QVector<WasmGlobal> vglobals; + static const char *const names[NSECTIONS]; +}; + +#endif |