\u6b64\u7bc7\u6587\u7ae0\u4ee52025\u5e74\u5728\u53f0\u5317\u8209\u884c\u7684\u99ed\u5ba2\u5e74\u6703HITCON\u70ba\u80cc\u666f\uff0c\u6df1\u5165\u5831\u5c0e\u7576\u5e74\u5ea6\u6700\u4ee4\u4eba\u77da\u76ee\u7684\u8b70\u984c\u2014\u4eba\u5de5\u667a\u6167\u5982\u4f55\u5354\u52a9\u81ea\u52d5\u767c\u73fe\u4e26\u4fee\u88dc\u8edf\u9ad4\u6f0f\u6d1e\uff0c\u63ed\u958bAI\u8207\u8cc7\u5b89\u6280\u8853\u878d\u5408\u7684\u65b0\u7bc7\u7ae0\u3002\u6587\u7ae0\u4ee5\u7f8e\u570bAI Cyber Challenge\uff08AIxCC\uff09\u51a0\u8ecd\u968a\u4f0d\u300cTeam Atlanta\u300d\u70ba\u4e3b\u89d2\uff0c\u900f\u904e\u4ed6\u5011\u5728\u7af6\u8cfd\u4e2d\u7684\u7d93\u9a57\uff0c\u5c55\u73feAI\u5728\u8cc7\u5b89\u9818\u57df\u7684\u5be6\u969b\u61c9\u7528\u8207\u672a\u4f86\u6f5b\u80fd\u3002\u9996\u5148\uff0c\u6587\u7ae0\u8aaa\u660eAIxCC\u662f\u7531\u7f8e\u570b\u570b\u9632\u9ad8\u7b49\u7814\u7a76\u8a08\u756b\u7f72\uff08DARPA\uff09\u4e3b\u8fa6\u7684\u570b\u969b\u7af6\u8cfd\uff0c\u76ee\u6a19\u5728\u65bc\u63a8\u52d5AI\u5728\u6f0f\u6d1e\u5206\u6790\u8207\u9632\u8b77\u4e0a\u7684\u5275\u65b0\u61c9\u7528\u3002\u6bd4\u8cfd\u8981\u6c42\u53c3\u8cfd\u968a\u4f0d\u6253\u9020\u53ef\u81ea\u52d5\u904b\u4f5c\u7684\u7db2\u8def\u63a8\u7406\u7cfb\u7d71\uff08Cyber Reasoning System, CRS\uff09\uff0c\u80fd\u7368\u7acb\u5b8c\u6210\u6f0f\u6d1e\u5075\u6e2c\u3001\u4fee\u88dc\u4ee5\u53ca\u5206\u6790\u5831\u544a\u7684\u7522\u51fa\u3002\u5118\u7ba1\u521d\u671f\u5916\u754c\u666e\u904d\u8cea\u7591AI\u662f\u5426\u771f\u7684\u80fd\u52dd\u4efb\u5982\u6b64\u8907\u96dc\u7684\u4efb\u52d9\uff0cTeam Atlanta\u6700\u7d42\u6191\u85c9\u5353\u8d8a\u7684\u6280\u8853\u6574\u5408\u8207\u5718\u968a\u5408\u4f5c\uff0c\u6210\u529f\u572870\u9805\u6311\u6230\u984c\u4e2d\u5075\u6e2c\u51fa43\u500b\u5408\u6210\u6f0f\u6d1e\u3001\u4fee\u88dc31\u500b\uff0c\u4e26\u984d\u5916\u627e\u52306\u500b\u96f6\u6642\u5dee\u6f0f\u6d1e\uff0c\u6210\u70ba\u552f\u4e00\u80fd\u65bc\u6bd4\u8cfd\u4e2d\u7a81\u7834\u73fe\u5be6\u6f0f\u6d1e\u9632\u7dda\u7684\u968a\u4f0d\u3002<\/p>\n\n\n\n
\u6587\u7ae0\u7279\u5225\u6307\u51fa\uff0c\u300cTeam Atlanta\u300d\u4e4b\u6240\u4ee5\u80fd\u5728\u7af6\u722d\u6fc0\u70c8\u7684\u570b\u969b\u8cfd\u4e8b\u4e2d\u812b\u7a4e\u800c\u51fa\uff0c\u95dc\u9375\u5728\u65bc\u5718\u968a\u7d50\u69cb\u8207\u7cfb\u7d71\u8a2d\u8a08\u7684\u7e1d\u5bc6\u898f\u5283\u3002\u8a72\u5718\u968a\u6210\u54e1\u903e40\u4eba\uff0c\u6a6b\u8de8\u55ac\u6cbb\u4e9e\u7406\u5de5\u5b78\u9662\u3001\u4e09\u661f\u7814\u7a76\u9662\u3001\u97d3\u570b\u79d1\u5b78\u6280\u8853\u9662\uff08KAIST\uff09\u8207\u6d66\u9805\u5de5\u79d1\u5927\u5b78\u7b49\u6a5f\u69cb\uff0c\u9ad4\u73fe\u8de8\u9818\u57df\u5354\u4f5c\u7684\u529b\u91cf\u3002\u70ba\u78ba\u4fdd\u958b\u767c\u6d41\u7a0b\u9ad8\u6548\uff0c\u5718\u968a\u5728\u6c7a\u8cfd\u524d\u5c07\u4efb\u52d9\u5283\u5206\u6210\u516d\u500b\u5b50\u7d44\uff0c\u6700\u7d42\u5171\u540c\u5b8c\u6210\u540d\u70ba\u300cAtlantis\u300d\u7684CRS\u7cfb\u7d71\u3002\u6587\u7ae0\u8a73\u8ff0\uff0cAtlantis\u63a1\u7528\u300cN\u91cd\u7248\u672c\u300d\uff08N-versioning\uff09\u8207\u6b63\u4ea4\u5f0f\u67b6\u69cb\u8a2d\u8a08\uff0c\u78ba\u4fdd\u5404\u6a21\u7d44\u7368\u7acb\u904b\u4f5c\u3001\u4e92\u4e0d\u5e72\u64fe\uff0c\u4f7f\u7cfb\u7d71\u5177\u5099\u9ad8\u5ea6\u5bb9\u932f\u6027\u8207\u7a69\u5b9a\u5ea6\u3002<\/p>\n\n\n\n
\u5728\u6280\u8853\u5c64\u9762\u4e0a\uff0c\u6587\u7ae0\u5f37\u8abfAtlantis\u7d50\u5408\u4e86\u50b3\u7d71\u8cc7\u5b89\u5de5\u5177\u8207\u65b0\u8208AI\u6280\u8853\u7684\u512a\u52e2\u3002\u7cfb\u7d71\u5206\u5225\u91dd\u5c0dC\u8a9e\u8a00\u3001Java\u8a9e\u8a00\u53ca\u591a\u8a9e\u8a00\u74b0\u5883\u8a2d\u8a08\u5c08\u5c6c\u5206\u6790\u6a21\u7d44\uff0c\u4e26\u5ef6\u4f38\u51fa\u4e09\u5927\u6e2c\u8a66\u6280\u8853\uff1a\u6574\u5408\u5f0f\u6a21\u7cca\u6e2c\u8a66\uff08ensemble fuzzing\uff09\u3001\u7b26\u865f\u6df7\u5408\u57f7\u884c\uff08concolic execution\uff09\u8207\u5b9a\u5411\u6a21\u7cca\u6e2c\u8a66\uff08directed fuzzing\uff09\u3002\u5176\u4e2d\uff0cLLM\uff08\u5927\u578b\u8a9e\u8a00\u6a21\u578b\uff09\u88ab\u5ee3\u6cdb\u61c9\u7528\u65bc\u751f\u6210\u6e2c\u8a66\u8f38\u5165\u3001\u9810\u6e2c\u7a0b\u5f0f\u932f\u8aa4\u985e\u578b\u53ca\u652f\u63f4\u7a0b\u5f0f\u8a9e\u610f\u5206\u6790\uff0c\u9032\u4e00\u6b65\u63d0\u5347\u6f0f\u6d1e\u63a2\u7d22\u7684\u6df1\u5ea6\u8207\u6548\u7387\u3002\u9664\u4e86\u5075\u6e2c\uff0cAtlantis\u5728\u4fee\u88dc\u5c64\u9762\u4ea6\u5c55\u73fe\u9ad8\u5ea6\u5275\u65b0\u3002\u6b64\u7bc7\u6587\u7ae0\u63d0\u5230\uff0c\u5718\u968a\u70ba\u4fee\u88dc\u7cfb\u7d71\u67b6\u69cb\u51fa\u300cAtlantis-Patch\u300d\u6a21\u7d44\uff0c\u5167\u542b\u516d\u500b\u5177\u7368\u7acb\u7b56\u7565\u7684AI\u4ee3\u7406\uff0c\u5404\u81ea\u4f7f\u7528\u4e0d\u540c\u7684LLM\u63a8\u7406\u8def\u5f91\u8207\u6a21\u578b\u7d44\u5408\uff0c\u6709\u7684\u5c08\u6ce8\u65bc\u5de5\u5177\u547c\u53eb\uff0c\u6709\u7684\u5f37\u5316\u63a8\u7406\u8ff4\u5708\u6df1\u5ea6\u3002\u5718\u968a\u751a\u81f3\u4ee5Llama 3.2\u4f5c\u70ba\u57fa\u790e\uff0c\u9032\u884c\u5ba2\u88fd\u5316\u5fae\u8abf\uff0c\u4ee5\u63d0\u5347\u4e0a\u4e0b\u6587\u6aa2\u7d22\u6548\u7387\u8207\u751f\u6210\u4fee\u88dc\u7a0b\u5f0f\u7684\u54c1\u8cea\u3002\u9019\u6a23\u7684\u8a2d\u8a08\u4e0d\u50c5\u63d0\u5347\u4fee\u88dc\u6210\u529f\u7387\uff0c\u4e5f\u70baAI\u5728\u81ea\u4e3b\u7a0b\u5f0f\u4fee\u5fa9\u9818\u57df\u7acb\u4e0b\u6a19\u7aff\u3002<\/p>\n\n\n\n
\u6587\u7ae0\u4e5f\u63ed\u793a\u4e86Team Atlanta\u5728\u7af6\u8cfd\u6b77\u7a0b\u4e2d\u6240\u9762\u81e8\u7684\u56f0\u5883\u3002\u4e3b\u8981\u6311\u6230\u5305\u62ecLLM\u5728\u65e9\u671f\uff082023\u5e74\uff09\u8655\u7406\u9577\u4e0a\u4e0b\u6587\u8207\u7a0b\u5f0f\u7d50\u69cb\u6642\u80fd\u529b\u6709\u9650\uff0c\u5c0e\u81f4\u5718\u968a\u5fc5\u9808\u4ee5\u300c\u601d\u7dad\u93c8\u300d(Chain of Thought, CoT) \u7b49\u6280\u5de7\u5f4c\u88dc\u63a8\u7406\u4e0d\u8db3\u3002\u5118\u7ba1\u5982\u6b64\uff0c\u96a8\u8457AI\u6280\u8853\u57282024\u5e74\u5feb\u901f\u8fed\u4ee3\uff0c\u5982LangChain\u8207AutoGen\u6846\u67b6\u554f\u4e16\uff0c\u4f7f\u5718\u968a\u9010\u6f38\u770b\u5230LLM\u5728\u7cfb\u7d71\u6027\u63a8\u7406\u8207\u81ea\u52d5\u5316\u4efb\u52d9\u4e2d\u7684\u771f\u5be6\u6f5b\u80fd\u3002\u96d6\u7136\u9019\u4e9b\u65b0\u6280\u8853\u51fa\u73fe\u5f97\u7a0d\u665a\uff0c\u672a\u80fd\u5b8c\u5168\u878d\u5165\u7af6\u8cfd\u65b9\u6848\uff0c\u4f46\u4e5f\u70ba\u672a\u4f86AI\u9a45\u52d5\u8cc7\u5b89\u7814\u7a76\u5960\u5b9a\u65b9\u5411\u3002\u6700\u7d42\uff0c\u6587\u7ae0\u4ee5\u66f4\u5b8f\u89c0\u7684\u89d2\u5ea6\u6536\u5c3e\uff0c\u6307\u51faTeam Atlanta\u7684\u6210\u529f\u4e26\u975e\u50c5\u4ee3\u8868\u55ae\u4e00\u5718\u968a\u52dd\u51fa\uff0c\u800c\u8c61\u5fb5\u8457AI\u5728\u8cc7\u5b89\u9632\u79a6\u4e0a\u7684\u601d\u7dad\u8f49\u8b8a\u3002\u5f9e\u88ab\u52d5\u5075\u6e2c\u5230\u4e3b\u52d5\u4fee\u88dc\uff0c\u5f9e\u4eba\u5de5\u8f14\u52a9\u5230\u81ea\u52d5\u5316\u63a8\u7406\uff0cAI\u6b63\u9010\u6b65\u91cd\u5851\u8cc7\u5b89\u751f\u614b\u3002\u6b64\u7bc7\u6587\u7ae0\u4ee5\u7d30\u81a9\u7b46\u89f8\u523b\u756b\u4e86Team Atlanta\u5982\u4f55\u5c07\u6280\u8853\u7406\u60f3\u5316\u70ba\u53ef\u5be6\u8e10\u7684\u73fe\u5be6\uff0c\u4e26\u5728HITCON\u5206\u4eab\u7d93\u9a57\uff0c\u6fc0\u52f5\u66f4\u591a\u53f0\u7063\u7814\u7a76\u8005\u8207\u5b78\u751f\u6295\u5165AI\u8cc7\u5b89\u65b0\u9818\u57df\u3002\u9019\u4e0d\u53ea\u662f\u4e00\u6b21\u8cfd\u5834\u52dd\u5229\uff0c\u800c\u662f\u4e00\u5834\u5ba3\u544a\u8cc7\u5b89\u9081\u5165AI\u81ea\u4e3b\u6642\u4ee3\u7684\u6b77\u53f2\u6642\u523b\u3002<\/p>\n\n\n\n