haybale 0.7.2

Symbolic execution of LLVM IR, written in Rust
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
���BC��5b0$IY�f��~-D2!W!�#�A�I29��%�b�EB�B�28K
2B�Hp�!#D��A�d�� CF� �2B�*(*�1|�\� ��� 2"	 d�"��"ㄡ�L����L<s`P�(��(� te(Cʁ�9�`
�Qx�'�����p8$�4 �qxy��rz`�|hyx�zpr(rhrH{Hr(�6��x�zhs��6h�p�t�!�a� �!�!āʡ
�!ҁ�`�asv��rv(�y��6�y(�qH�y(�60xh�p �����ڀ�����a���
�!ȁ���p�whs��ph�rhxx�tpz(yh�r`�th��������!ڡ��!܁�Aڠ�!ڡ
��ܡ
ء���ޡ
���a���
�!�sv��rwx�6P�zhxhzq`�r����ޡ
�!�a���
�!�sv��rwx�6��t8w(rh}(yx�yhs��6h�p�t�!�a� ��ڀ�!���Ρ
�!�sv��r�y��p�uhx��w��rzxyhq�s0�r��6��tЇr� �!��ʁ�`�x(w��|p���p��s(zhs(�p��z��r�`
����`
���
���a�
֠��`
�!���`
�aʁ
�`��
�`��
�`���
�
�`�a�a�`
�� ���!̡���
�!�sv��r�z��rh�yxs��60vx�p����
�#������ �a@��;ȃ<��8�;�C��;ԃ;�C9�C�C:�C:�C9��<ă<�C�<�A;�=�`���PA�0� �Pm@��������C8��<�@�C9��<�<�C9�C:�C9��9�C;�9��0�����P����P�@� mp�@��;�C��<�C;�C��;��;�C9�C�;�C;� �P����� ���������P������m���m�����m��`���m��@��C8��<�@��;��:�C;�C�C8�;��<��0���m������m��@��C8��<�@��;��<��9�C9�C�C9��;�C�<�A;�=�`���P���� ���pm��@��C8��<�@�=��8�C��<�=��8��;�C�C=��9��<��<��>��A� �P�����C9��<�;=��<�C9�C�C9�=ԃ<��<k0�v�k0��l��� l�����k0���k0�Pl��0� l��0�0l��0�@nl��0�Ps�k�xpQ�0�`���m��@��C8��<�@��<�C��;�=��9��;�=��0�l`�������$@€�w�y(�q�vȇ6��w�w �r �6 �t��t �rh�y�y��60xh�vz@����a�Aءڀ�!ء
�!؁�0�p`�y(�`�r��yhx��r�t��rhs��vr�!�a� �!ܡ
ء�!ء
�Ɓ�A��ҁ�8wx�60y�v(�6��wHw��r��6(vH�v�A���ޡ
�A¡ʡ
������
ʁҡ����ڀ�!� ��� ���
�ڠ�0�p`�y(�p�whu��v��6��pv(�y�!�a� �������
�ڠ�0�p`�y(�p�wh�yH�sp�r �6Їr��w��60xh�vz@���ޡ
�A��!��ڠ�0�p`�y(��z�qX�6�yxz(�q��w��6�z0s(yh�yH}(��AΡ�
����rpy�wzy8�r��60�rz�y(�y�`�!�
�`��`
��A�`
ڡ��
�`�́
�`��`
�a�A�`
�a�a�`
�aʁ� �`
�a��
�����a��ʡ
�ڠ�0�p`�y(���y(�6��w0zhs`�wz�!�a��`����?mH�"�`a��A}�����	Ѐ0 ���A�a��
����ȡȡ
�!�!ȡ�`�A�
�ڠ�0�p`�y(� �t��pv(�6��pHvh�qv`�y�!�a� ء�a���!����sv��r�vHwhv(�svh{(�q��w��6��t z@�ޡ
�A¡ʡ
������
ʁҡz��z(`p�whs��ph�rhxx�tpz(yh�r`�th�6p�wp�6`�rswx�6Hw0�yhs��6h�p�t�!�a� ���@��
�!ā�asv��rwx�6p�pp�yhs��6h�p�t�!�a� ���`��ܡȡ
�����
�ڠ�0�p`�y(�p�whz��p�xHw8�6h�p�t�!�a� ��a֡
�Aށ�a���
ġ���A�`�A�����p��s(zh�q��z��A����AΡ�
̡�A�a�5|�;`�5|�6Xs��y�6X�vh|`�5��p@s`�5��y(6X�y��r�6X�y��r�6X�y��r�7�6X�y��y(�9`�5�<���w��p0�rhs��6h�p�t�!�a� �aʡ
��́����sv��r6�������@�8��<�C9�=�C>��<�C=�9�9�9��=�9�C�C<�=��9�C�C8�:��0����������m0���0�9�;�C9;��<�C��<��8��<�C�<�C8�`���P���m��p��m`�0�������@��@��;��9�C8�C9�<�C:�=��<�A9�C:�@�P���m`��Pm��@� mP��������P�`������0m`�����9�;�C9�;�C�C=�<�=��8�C9�`���P�����0m`�����9�;�C9�;�C�C:��;�9��>��<��<��9�C�C8�:��0���m@���������9�;�C9�<�C8��:�<��;�C9�=��<��8ԃ9�C9�C�C:�C9x��p�@m0�P<��;�C>�@�C8��9�=��9�C8�C=�C9���q`l��x�k`�0��k��l���`l��0��k0�Pr�k0�Ps�k0�Pt�q�k0�0�0l���w����Pm`�����9�;�C9D=�C9��<��9�C�;�C8�`���P�"�3I�`B L�	Q�cB�L4|�;�;��6x�v(�6h�p�w�|�8p�8�7��
ePm�z�m�v@z`t��p�q x��zv�s z`t��r�!i���
h�R5�@ �C*M
`H��� �C*<h�R�04������T�`%@
0�	g�h�!UL@�@��0`H�� �C�А�R��6`4���=�@��T"B

 �A�(�@2�L��	&G�C�(�r(���3���f=�C8�ÌB�yxs�q���3B��Ρf0=�C8���=�C=�=�x�tp{yH�ppzpvx�p ����0n0���P3��!�!�af0�;��;�C9�<��<�;��v`{h7h�rh7��p��p`v(v�vx�w��_�q�r��y��,�������0bȡ�̡��a�!ā�a֐C9�C9�C9�C9��8�C8�;��/��<��;�;���i�pX�rp�thx`�t�t���S��P��@� �P3 (���A�!܁�����fQ8�C:��;�P$v`{h7`�wxx�QL���P3j�a�!��~��!�aT��8��;�C=�C9��<�C;��;�Ì�
�y��w�tz(r��\����P�0#��A�����fH;��=����8�C9��<��9��;�<�H�qv`q�qX����`��� �0� �Pn�0�0�����P�y 4rH C�	r2H #�����D�(d<12B��!�h �JB
Owchar_sizePIC Levelclang version 9.0.1 intomnipotent charSimple C/C++ TBAA#4�D#�4�L#5�p�C"(3��1�P<�-3Q��H`�2bc�ksi{#�c+s1c;�EX�T����\�����F	�
r(�w�zXp�C=��8�C9�Â�ơ
�A���!�!����<��;�;�=��<�C8��a 
Ala A,e#�`\B�a D,�PE�
�`���@�A��,�����@@��a A,�#�`\B0b`!6  �AH��a �@��pa 9C,d�@0P7E3��L@��q� $��1)���A�!��1C@��`A�Y!F�� є���0q�#��`�tͱ%01X@`؀X�! &L0��n(4�e�  
["��Gm� �20A�e��h�0і�
�-�D[�+�!1B�"����`�j�a A,e#�`HB�a 6D,d�@0Pe3�B�#��`�XF0l@��s�!@�`�a�������%*��A0H2��`�8	��A0� �0@��T 0l@0�s�!��`�a��[�!��Dm� �2HA�e��!1
��!@h��� �b�PM`a D,�P�UX('0�`h0�0�p�Q��,� #�`0Ll0P0�l@*a %H,�P��Q#5P/�4'0ܐ h0�p�p����,�!�
b� ���A� W��7<�2F�#�`0ll���@ ���
 �n�1Ta F,�P�2P�P�
�a��`r��,A��#�`0P��7	�2DpCb���a���,A1�@�1�!1�@�`Ba D,#eP2�U�
F��C������� ]`7��2B0bP!�4`p���(�a C,�P�
�`�B ����A� K���@ �AHa��Z��P�q ��0Є!a C,#U�
���B !���A� L���@ �AH��  k�q 2"��	���
8����
X���
�P��
��P���ؠȀ����ey��LXX�5
�;
����$I

����$W����$j
,����$w8
����$�E����$�U����,�m����,������$������$������$������$�����$�����$7�����$L����$]���simple_calleesimple_callerconditional_callertwice_callernested_callercallee_with_loopllvm.lifetime.start.p0i8llvm.lifetime.end.p0i8caller_of_loopcaller_with_looprecursive_simplerecursive_doublerecursive_not_tailrecursive_and_normal_callermutually_recursive_amutually_recursive_b9.0.1x86_64-apple-macosx10.15.0call.c_simple_callee_simple_caller_conditional_caller_twice_caller_nested_caller_callee_with_loop_llvm.lifetime.start.p0i8_llvm.lifetime.end.p0i8_caller_of_loop_caller_with_loop_recursive_simple_recursive_double_recursive_not_tail_recursive_and_normal_caller_mutually_recursive_a_mutually_recursive_b