Z1an

Results 8 issues of Z1an

Hi there! I'm curious about whether Solang supports loading LLVM Pass module to perform some preprocessing on the generated LLVM-IR. For instance, we can use LLVM Pass module in clang...

enhancement
help wanted

According to the instructions from `docs/32-bit.txt`, I built up the environment as follow: 1. Z3 version 4.8.3, compiled by `cmake` with `CXX_FLAGS="-m32" C_FLAGS="-m32"`. 2. LLVM version 12.0.0, compiled by `cmake`...

question

## Expected behavior and actual behavior. When trying to decompress a `.jp2` file to a `.pgm` file, `opj_decompress` will parse each code block. However, if a malformatted file with an...

commit: 045040a Ubuntu 20.04 Linux kernel 5.4.0-124-generic ```shell $ ./wasm3 ./poc ��$$��$$����$������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������������0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�޾޾��޾޾���޾޾���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�޻޻��޻޻���޻޻���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�޸޸��޸޸���޸޸���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�޵޵��޵޵���޵޵���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�޲޲��޲޲���޲޲���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ޯޯ��ޯޯ���ޯޯ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ެެ��ެެ���ެެ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ީީ��ީީ���ީީ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ަަ��ަަ���ަަ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ޣޣ��ޣޣ���ޣޣ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ޠޠ��ޠޠ���ޠޠ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ޝޝ��ޝޝ���ޝޝ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ޚޚ��ޚޚ���ޚޚ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ޗޗ��ޗޗ���ޗޗ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ޔޔ��ޔޔ���ޔޔ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ޑޑ��ޑޑ���ޑޑ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ގގ��ގގ���ގގ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ދދ��ދދ���ދދ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ވވ��ވވ���ވވ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ޅޅ��ޅޅ���ޅޅ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P�ނނ��ނނ���ނނ���0�~�~���~�~�����~�~������������������������������������������������^�^�p�^�^�p���^�^�p���������P�����P�p�����P�p�������0�����0�P�����0�P�p�>�>��>�>��0�>�>��0�P���������������0�~~��~~����~~������������������~�~���~�~�����~�~������^~^~p�^~^~p���^~^~p������}�}P��}�}P�p��}�}P�p����}�}0��}�}0�P��}�}0�P�p�>}>}�>}>}�0�>}>}�0�P��|�|���|�|����|�|���0�~|~|��~|~|����~|~|�����||��||����||�������{�{���{�{�����{�{������^{^{p�^{^{p���^{^{p������z�zP��z�zP�p��z�zP�p����z�z0��z�z0�P��z�z0�P�p�>z>z�>z>z�0�>z>z�0�P��y�y���y�y����y�y���0�~y~y��~y~y����~y~y�����yy��yy����yy�������x�x���x�x�����x�x������^x^xp�^x^xp���^x^xp������w�wP��w�wP�p��w�wP�p����w�w0��w�w0�P��w�w0�P�p�>w>w�>w>w�0�>w>w�0�P��v�v���v�v����v�v���0�~v~v��~v~v����~v~v�����vv��vv����vv�������u�u���u�u�����u�u������^u^up�^u^up���^u^up������t�tP��t�tP�p��t�tP�p����t�t0��t�t0�P��t�t0�P�p�>t>t�>t>t�0�>t>t�0�P��s�s���s�s����s�s���0�~s~s��~s~s����~s~s�����ss��ss����ss�������r�r���r�r�����r�r������^r^rp�^r^rp���^r^rp������q�qP��q�qP�p��q�qP�p����q�q0��q�q0�P��q�q0�P�p�>q>q�>q>q�0�>q>q�0�P��p�p���p�p����p�p���0�~p~p��~p~p����~p~p�����pp��pp����pp�������o�o���o�o�����o�o������^o^op�^o^op���^o^op������n�nP��n�nP�p��n�nP�p����n�n0��n�n0�P��n�n0�P�p�>n>n�>n>n�0�>n>n�0�P��m�m���m�m����m�m���0�~m~m��~m~m����~m~m�����mm��mm����mm�������l�l���l�l�����l�l������^l^lp�^l^lp���^l^lp������k�kP��k�kP�p��k�kP�p����k�k0��k�k0�P��k�k0�P�p�>k>k�>k>k�0�>k>k�0�P��j�j���j�j����j�j���0�~j~j��~j~j����~j~j�����jj��jj����jj�������i�i���i�i�����i�i������^i^ip�^i^ip���^i^ip������h�hP��h�hP�p��h�hP�p����h�h0��h�h0�P��h�h0�P�p�>h>h�>h>h�0�>h>h�0�P��g�g���g�g����g�g���0�~g~g��~g~g����~g~g�����gg��gg����gg�������f�f���f�f�����f�f������^f^fp�^f^fp���^f^fp������e�eP��e�eP�p��e�eP�p����e�e0��e�e0�P��e�e0�P�p�>e>e�>e>e�0�>e>e�0�P��d�d���d�d����d�d���0�~d~d��~d~d����~d~d�����dd��dd����dd�������c�c���c�c�����c�c������^c^cp�^c^cp���^c^cp������b�bP��b�bP�p��b�bP�p����b�b0��b�b0�P��b�b0�P�p�>b>b�>b>b�0�>b>b�0�P��a�a���a�a����a�a���0�~a~a��~a~a����~a~a�����aa��aa����aa�������`�`���`�`�����`�`������^`^`p�^`^`p���^`^`p������_�_P��_�_P�p��_�_P�p����_�_0��_�_0�P��_�_0�P�p�>_>_�>_>_�0�>_>_�0�P��^�^���^�^����^�^���0�~^~^��~^~^����~^~^�����^^��^^����^^�������]�]���]�]�����]�]������^]^]p�^]^]p���^]^]p������\�\P��\�\P�p��\�\P�p����\�\0��\�\0�P��\�\0�P�p�>\>\�>\>\�0�>\>\�0�P��[�[���[�[����[�[���0�~[~[��~[~[����~[~[�����[[��[[����[[�������Z�Z���Z�Z�����Z�Z������^Z^Zp�^Z^Zp���^Z^Zp������Y�YP��Y�YP�p��Y�YP�p����Y�Y0��Y�Y0�P��Y�Y0�P�p�>Y>Y�>Y>Y�0�>Y>Y�0�P��X�X���X�X����X�X���0�~X~X��~X~X����~X~X�����XX��XX����XX�������W�W���W�W�����W�W������^W^Wp�^W^Wp���^W^Wp������V�VP��V�VP�p��V�VP�p����V�V0��V�V0�P��V�V0�P�p�>V>V�>V>V�0�>V>V�0�P��U�U���U�U����U�U���0�~U~U��~U~U����~U~U�����UU��UU����UU�������T�T���T�T�����T�T������^T^Tp�^T^Tp���^T^Tp������S�SP��S�SP�p��S�SP�p����S�S0��S�S0�P��S�S0�P�p�>S>S�>S>S�0�>S>S�0�P��R�R���R�R����R�R���0�~R~R��~R~R����~R~R�����RR��RR����RR�������Q�Q���Q�Q�����Q�Q������^Q^Qp�^Q^Qp���^Q^Qp������P�PP��P�PP�p��P�PP�p����P�P0��P�P0�P��P�P0�P�p�>P>P�>P>P�0�>P>P�0�P��O�O���O�O����O�O���0�~O~O��~O~O����~O~O�����OO��OO����OO�������N�N���N�N�����N�N������^N^Np�^N^Np���^N^Np������M�MP��M�MP�p��M�MP�p����M�M0��M�M0�P��M�M0�P�p�>M>M�>M>M�0�>M>M�0�P��L�L���L�L����L�L���0�~L~L��~L~L����~L~L�����LL��LL����LL�������K�K���K�K�����K�K������^K^Kp�^K^Kp���^K^Kp������J�JP��J�JP�p��J�JP�p����J�J0��J�J0�P��J�J0�P�p�>J>J�>J>J�0�>J>J�0�P��I�I���I�I����I�I���0�~I~I��~I~I����~I~I�����II��II����II�������H�H���H�H�����H�H������^H^Hp�^H^Hp���^H^Hp������G�GP��G�GP�p��G�GP�p����G�G0��G�G0�P��G�G0�P�p�>G>G�>G>G�0�>G>G�0�P��F�F���F�F����F�F���0�~F~F��~F~F����~F~F�����FF��FF����FF�������E�E���E�E�����E�E������^E^Ep�^E^Ep���^E^Ep������D�DP��D�DP�p��D�DP�p����D�D0��D�D0�P��D�D0�P�p�>D>D�>D>D�0�>D>D�0�P��C�C���C�C����C�C���0�~C~C��~C~C����~C~C�����CC��CC����CC�������B�B���B�B�����B�B������^B^Bp�^B^Bp���^B^Bp������A�AP��A�AP�p��A�AP�p����A�A0��A�A0�P��A�A0�P�p�>A>A�>A>A�0�>A>A�0�P��@�@��@�@���@�@��0�~@~@п~@~@п�~@~@п��@@��@@��п@@��п��?�?���?�?�����?�?����п^?^?p�^?^?p���^?^?p������>�>P��>�>P�p��>�>P�p����>�>0��>�>0�P��>�>0�P�p�>>>>�>>>>�0�>>>>�0�P��=�=��=�=���=�=��0�~=~=о~=~=о�~=~=о��==��==��о==��о��8�0�P��7�7��7�7���7�7��0�~7~7м~7~7м�~7~7м��77��77��м77��м��6�6���6�6�����6�6����м^6^6p�^6^6p���^6^6p������5�5P��5�5P�p��5�5P�p����5�50��5�50�P��5�50�P�p�>5>5�>5>5�0�>5>5�0�P��4�4��4�4���4�4��0�~4~4л~4~4л�~4~4л��44��44��л44��л��3�3���3�3�����3�3����л^3^3p�^3^3p���^3^3p������2�2P��2�2P�p��2�2P�p����2�20��2�20�P��2�20�P�p�>2>2�>2>2�0�>2>2�0�P��1�1��1�1���1�1��0�~1~1к~1~1к�~1~1к��11��11��к11��к��0�0���0�0�����0�0����к^0^0p�^0^0p���^0^0p������/�/P��/�/P�p��/�/P�p����/�/0��/�/0�P��/�/0�P�p�>/>/�>/>/�0�>/>/�0�P��.�.��.�.���.�.��0�~.~.й~.~.й�~.~.й��..��..��й..��й��-�-���-�-�����-�-����й^-^-p�^-^-p���^-^-p������,�,P��,�,P�p��,�,P�p����,�,0��,�,0�P��,�,0�P�p�>,>,�>,>,�0�>,>,�0�P��+�+��+�+���+�+��0�~+~+и~+~+и�~+~+и��++��++��и++��и��*�*���*�*�����*�*����и^*^*p�^*^*p���^*^*p������)�)P��)�)P�p��)�)P�p����)�)0��)�)0�P��)�)0�P�p�>)>)�>)>)�0�>)>)�0�P��(�(��(�(���(�(��0�~(~(з~(~(з�~(~(з��((��((��з((��з��'�'���'�'�����'�'����з^'^'p�^'^'p���^'^'p������&�&P��&�&P�p��&�&P�p����&�&0��&�&0�P��&�&0�P�p�>&>&�>&>&�0�>&>&�0�P��%�%��%�%���%�%��0�~%~%ж~%~%ж�~%~%ж��%%��%%��ж%%��ж��$�$���$�$�����$�$����ж^$^$p�^$^$p���^$^$p������#�#P��#�#P�p��#�#P�p����#�#0��#�#0�P��#�#0�P�p�>#>#�>#>#�0�>#>#�0�P��"�"��"�"���"�"��0�~"~"е~"~"е�~"~"е��""��""��е""��е��!�!���!�!�����!�!����е^!^!p�^!^!p���^!^!p������ � P�� � P�p�� � P�p���� � 0�� � 0�P�� � 0�P�p�> > �> > �0�> > �0�P������������0�~~д~~д�~~д������д��д�����������������д^^p�^^p���^^p�������P���P�p���P�p�����0���0�P���0�P�p�>>�>>�0�>>�0�P������������0�~~г~~г�~~г������г��г��������������г^p�^p���^p�������P���P�p���P�p�����0���0�P���0�P�p�>>�>>�0�>>�0�P������������0�~~в...

Version: v0.5.0 Commit: 045040a ```shell $ ./wasm3 ./poc1 Error: [Fatal] repl_load: function signature mismatch Error: function signature mismatch [1] 3879387 segmentation fault ./wasm3 ./poc1 ``` When function signature mismatching, `repl_load`...

Hi there! I'm trying out the value-flow analysis of SVF. I wrote a simple example as follow: ```c #include #include char gv[16] = {0}; void func1(const char *msg) { printf("calling...

**Describe the bug** After saving and exiting the current Joern work context, a `cpg.bin` is generated under the project's work directory. However, I failed to get the cpg details using...

bug

For `Method` node, the property `lineNumber` and `lineNumberEnd` can help with finding the range of the specific method. How can we get the `lineEnd` for the other types of node...

bug