关于使用 py2sec 对python3项目进行加密，加密后的项目运行异常中断问题

问题简述

最近在使用py2sec 将项目编译为二进制进行加密时，加密代码(.so文件)运行至其中某一个模块项目会异常中断。（备注：.py文件 可以正常运行）

该模块中存在如下条件判断语句 (以下代码是举例子，并非项目源码，能达到相同意思即可)

item = 1
myset = [1, 2, 3]
if item in myset  != -1:
	pass # 省略

分析过程

在使用py2sec库时，会利用 Cpython 将这一段代码转换成 c 语言

      /* "tmp/tmp/tmp.py":61
 *      if item in myset != -1:             # <<<<<<<<<<<<<<
 *         # + 
 */
      __pyx_t_6 = (__Pyx_PySequence_ContainsTF(__pyx_v_item, __pyx_v_myset, Py_EQ)); if (unlikely(__pyx_t_6 < 0)) __PYX_ERR(0, 61, __pyx_L1_error)
      if (__pyx_t_6) {
        __pyx_t_6 = PyObject_RichCompare(__pyx_v_myset, ((PyObject *)-1L), Py_NE); if (unlikely(__pyx_t_6 < 0)) __PYX_ERR(0, 61, __pyx_L1_error)
      }
      __pyx_t_3 = (__pyx_t_6 != 0);

这段代码的大意就是：

• 首先，程序会先判断 myset 是否包含 item，并将值返回给变量 __pyx_t_6
  • 如果二者不存在包含关系，则 __pyx_t_6 =-1，引发 __PYX_ERR 错误
  • 否则，__pyx_t_6 >=0
• 如果__PYX_ERR = 1，则程序会继续比较 myset != -1，
  • 如果二者不存在比较关系，则 __pyx_t_6 =-1，引发 __PYX_ERR 错误
  • 否则，__pyx_t_6 >=0

项目异常中断就是由于第二个比较所引起的 __PYX_ERR 错误。

tips

对于python 中 in + != 这个组合判断，python只会运行 if item in myset，而对于后面的 != 1 实际上是不会运行的，，读者可以自行尝试，更改后面的 -1 为其他任意变量、类实例，都不会影响该条件语句的结果。

item = 1
myset = [1, 2, 3]
if item in myset  != -1:
	pass # 省略

如果想要该条件语句生效，需要加上括号，即将其改为

解决方案

item = 1
myset = [1, 2, 3]
if (item in myset)  != -1:
	pass # 省略

或者非必要，不要使用该表达式

item = 1
myset = [1, 2, 3]
if item in myset:
	pass # 省略

更正代码后，得到的 c 文件为

      /* "tmp/tmp/tmp.py":61
 *      if item in myset:             # <<<<<<<<<<<<<<
 *         # + 
 */
      __pyx_t_6 = (__Pyx_PySequence_ContainsTF(__pyx_v_item, __pyx_v_g_andword, Py_EQ)); if (unlikely(__pyx_t_6 < 0)) __PYX_ERR(0, 60, __pyx_L1_error)
      __pyx_t_3 = (__pyx_t_6 != 0);