Mục tiêu số hiệu( object code ) chỉ máy tính khoa học trung biên dịch khí hoặc tổng hợp khí xử lý nguyên số hiệu sau sở sinh thành số hiệu, nó giống nhau từ máy móc số hiệu hoặc tiếp cận với máy móc ngôn ngữ số hiệu tạo thành.[1]Ở máy tính khoa học trung, nhưng chấp hành số hiệu ( Executable Code ) là chỉ đem mục tiêu số hiệu liên tiếp sau hình thành số hiệu, đơn giản tới nói là máy móc có thể trực tiếp chấp hành số hiệu. Nhưng chấp hành số hiệu giống nhau làNhưng chấp hành văn kiệnMột bộ phận.
- Tiếng Trung danh
- Nhưng chấp hành số hiệu
- Ngoại văn danh
- Executable Code
- Học khoa
- Máy tính khoa học
- Định nghĩa
- Mục tiêu số hiệu liên tiếp sau hình thành số hiệu
- Có quan hệ thuật ngữ
- Nhưng chấp hành văn kiện
- Ứng dùng
- Phần mềm trình tự, nội tồn tiết lộ kiểm tra
Nhưng chấp hành số hiệu ( Ex ô thí cây cọ ecutable Code ) là chỉ đem mục tiêu số hiệu liên tiếp sau hình thành số hiệu, đơn giản tới nói là cơ bị luyến khí có thể trực tiếp chấp hành số hiệu, nhưng chấp hành số hiệu đương nhiên cũng là cơ số hai.Nguyên số hiệu( cũng xưng nguyên trình tự ) là chỉ chưa biên dịch dựa theo nhất định trình tự thiết kế ngôn ngữ quy phạm viết hung tuần đóa văn bản văn kiện, là một loạt nhân loại nhưng đọc máy tính ngôn ngữ mệnh lệnh. Ở kế nhã chân nhiệt tính cơ trình hơi tập gánh tự thiết kế trung, giống nhau kiến nghị đem nguyên số hiệu cùng nhưng chấp hành số hiệu chia lìa tồn trữ. Vấn đề ở chỗ bất đồng ngôi cao hạ biên dịch ra tới nhưng chấp hành số hiệu là bất đồng, tỷ như một cái trình tự phục chế đến dao vãn bất đồng trên máy tính, mặc dù số hiệu không làm bất luận cái gì sửa chữa đài hộ nàng, VI cũng sẽ bị sửa chữa, bởi vì VI trung bao hàm nhưng chấp hành số hiệu thay đổi. Lý luận thượng, nhưng chấp hành số hiệu cùng nguyên số hiệu chia lìa mở ra, có thể đề cao trình tự thêm tái tốc độ: Trình tự có thể theo như nhu cầu, chỉ thêm tái nguyên số hiệu hoặc ương bái trọng hung chỉ thêm tái nhưng chấp hành số hiệu.
Nhưng chấp hành văn kiện(executable file) chỉ chính là có thể từ thao tác hệ thống tiến hành thêm tái chấp hành văn kiện. Ở bất đồng thao tác hệ thống hoàn cảnh hạ, nhưng chấp hành trình tự hiện ra phương thức không giống nhau. Thông thường nhưng chấp hành văn kiện nội, đựng lấyCơ số hai mã hóaHơi xử lý khí mệnh lệnh, cũng bởi vậy nhưng chấp hành văn kiện có khi xưng là cơ số hai đương. Này đó cơ số hai hơi xử lý khí mệnh lệnh mã hóa, với các loại hơi xử lý khí có điều bất đồng, vì vậy nhưng chấp hành văn kiện đa số muốn tách ra bất đồng hơi xử lý phiên bản. Một cái máy tính văn kiện hay không vì nhưng chấp hành văn kiện, chủ yếu từ thao tác hệ thống truyền thống quyết định. Tỷ như căn cứ riêng mệnh danh phương pháp ( như mở rộng tên là exe ) hoặc văn kiện nguyên số liệu tin tức ( tỷ như UNIX hệ thống thiết trí “Nhưng vận hành” quyền hạn ). Ở hiện đại các loại máy tính giá cấu, nhưng chấp hành văn kiện trừ bỏ có trình tự tin tức ở ngoài, còn có mặt khác tin tức, tỷ như làm trình tự vận hành thao tác hệ thống thiết trí giá trị số liệu, điều chỉnh thử số liệu từ từ.
Nhưng chấp hành trình tự( executable program, EXE File ) là chỉ một loại nhưng ở thao tác hệ thống tồn trữ không gian trung di động định vị nhưng chấp hành trình tự. Ở MS-DOS cùng MS-WINDOWS hạ, này loại văn kiện mở rộng tên là ·exe.
WINDOWS thao tác hệ thống trung cơ số hai nhưng chấp hành văn kiện, phân hai loại:
Một loại sau nghỉ tên là ·com, một loại khác là ·exe.
DOS quy định, có trọng danh exe cùng com, vận hành khi ưu tiên chấp hành com văn kiện. Nếu chỉ có A.exe, liền có thể trực tiếp đưa vào A, mà không cần đưa vào tên đầy đủ. Nhưng nếu có A cùng A.exe, đưa vào A tắc ưu tiên chấp hành A, muốn vận hành A.exe chỉ có thể đưa vào A.exe mà không thể đưa vào A. Giống nhau dùng cho DOS, ở WINDOWS hệ thống trung chấp hành văn kiện giống nhau đều là.exe văn kiện. Ở MS-DOS trung, dùng để đánh dấu nhưng chấp hành văn kiện văn kiện mở rộng danh. Người dùng ở nhắc nhở hành đưa vào không mang theo.exe mở rộng danh văn kiện danh sau ấn Enter kiện hoặc là điểm song kích là có thể vận hành nhưng chấp hành trình tự.
Tổng cộng có ba loại ECMA kịch bản gốc nhưng chấp hành số hiệu:
Toàn cục số hiệu là chỉ bị làm ECMAScript Program xử lý nguyên số hiệu văn bản. Một cái riêng Program toàn cục số hiệu không bao gồm làm FunctionBody bị phân tích nguyên số hiệu văn bản.
Eval số hiệu là chỉ cung cấp cấp eval nội trí hàm số nguyên số hiệu văn bản. Càng chính xác mà nói, nếu truyền lại cấp eval nội trí hàm số tham số vì một chữ phù xuyến, nên tự phù xuyến đem bị làm ECMA kịch bản gốc Program tiến hành xử lý. Ở riêng một lần đối eval thuyên chuyển trong quá trình, eval số hiệu làm nên Program toàn cục số hiệu bộ phận.
Hàm số số hiệu là chỉ làm FunctionBody bị phân tích nguyên số hiệu văn bản. Một cái FunctionBody hàm số số hiệu không bao gồm làm này khảm bộ hàm số FunctionBody bị phân tích nguyên số hiệu văn bản. Hàm số số hiệu đồng thời còn đặc chỉ lấy cấu tạo khí phương thức thuyên chuyển Function nội trí đối tượng khi sở cung cấp nguyên số hiệu văn bản. Càng chính xác mà nói, thuyên chuyển Function cấu tạo khí khi truyền lại cuối cùng một cái tham số đem bị thay đổi vì tự phù xuyến cũng làm FunctionBody sử dụng. Nếu thuyên chuyển Function cấu tạo khí khi, truyền lại một cái trở lên tham số, trừ cuối cùng một cái tham số bên ngoài mặt khác tham số đều đem thay đổi vì tự phù xuyến, cũng lấy dấu phẩy làm phân cách phù liên tiếp ở bên nhau trở thành một chữ phù xuyến, nên tự phù xuyến bị phân tích vì FormalParameterList cung từ cuối cùng một cái tham số định nghĩa FunctionBody sử dụng. Khởi động lại Function đối tượng khi sở cung cấp hàm số số hiệu, cũng không bao gồm làm này khảm bộ hàm số FunctionBody bị phân tích nguyên số hiệu văn bản.
Nghiêm khắc hình thức hạ số hiệu
Một cái ECMA kịch bản gốc trình tự ngữ pháp đơn nguyên có thể sử dụng phi nghiêm khắc hoặc nghiêm khắc hình thức hạ ngữ pháp cập ngữ nghĩa tiến hành xử lý. Đương sử dụng nghiêm khắc hình thức tiến hành xử lý khi, trở lên ba loại số hiệu đem được xưng là nghiêm khắc toàn cục số hiệu, nghiêm khắc eval số hiệu cùng nghiêm khắc hàm số số hiệu. Đương phù hợp dưới điều kiện khi, số hiệu đem bị phân tích vì nghiêm khắc hình thức hạ số hiệu:
Đương toàn cục số hiệu lấy mệnh lệnh bài tựa bắt đầu, thả nên mệnh lệnh bài tựa bao hàm một cái sử dụng nghiêm khắc hình thức mệnh lệnh khi, tức vì nghiêm khắc toàn cục số hiệu.
Đương Eval số hiệu lấy mệnh lệnh bài tựa bắt đầu, thả nên mệnh lệnh bài tựa bao hàm một cái sử dụng nghiêm khắc hình thức mệnh lệnh khi; hoặc là ở nghiêm khắc hình thức hạ số hiệu trung thông qua trực tiếp thuyên chuyển eval hàm số khi, tức vì nghiêm khắc eval số hiệu.
Đương một cái FunctionDeclaration, FunctionExpression hoặc PropertyAssignment phỏng vấn khí ở vào một đoạn nghiêm khắc hình thức hạ số hiệu trung, hoặc này hàm số số hiệu lấy mệnh lệnh bài tựa bắt đầu, thả nên mệnh lệnh bài tựa bao hàm một cái sử dụng nghiêm khắc hình thức mệnh lệnh bài tựa khi, nên hàm số số hiệu tức vì nghiêm khắc hàm số số hiệu.
Đương thuyên chuyển nội trí Function cấu tạo khí khi, nếu cuối cùng một cái tham số sở biểu đạt tự phù xuyến ở làm FunctionBody xử lý khi lấy mệnh lệnh bài tựa bắt đầu, thả nên mệnh lệnh bài tựa bao hàm một cái sử dụng nghiêm khắc hình thức mệnh lệnh, tắc nên hàm số số hiệu tức vì nghiêm khắc hàm số số hiệu.
Giảm xóc khu là trình tự vì tồn trữ số liệu mà phân phối liên tục có nhất định chiều dài nội tồn không gian. MàBuffer overflowLà chỉ, viết nhập giảm xóc khu số liệu chiều dài lớn hơn giảm xóc phân chia xứng chiều dài, khiến cho số liệu viết đến liền nhau nội tồn trung mà bao trùm rớt trong đó đã có số liệu. Nếu bao trùm rớt số liệu vừa lúc là trình tự nhập khẩu, như vậy trình tự sẽ nhảy chuyển tới viết nhập số liệu chỉ định địa chỉ đi chấp hành. Công kích giả thông qua tỉ mỉ cấu tạo bỏ thêm vào số liệu, có thể sử trình tự nhảy chuyển tới chỉ định số hiệu chỗ chấp hành, do đó tiến hành phi pháp thao tác.
Trước mặt buffer overflow kiểm tra đo lường kỹ thuật chủ yếu chia làm 2 loại: Trạng thái tĩnh kiểm tra đo lường cùng động thái kiểm tra đo lường.
Trạng thái tĩnh kiểm tra đo lường chủ yếu là thông qua đối nguyên số hiệu thẩm tra cùng phân tích tới phát hiệnBuffer overflow lỗ hổng.Bởi vì không cần vận hành trình tự, bởi vậy, kiểm tra đo lường hiệu suất so cao, đại giới nhỏ lại; khuyết điểm là phần lớn ỷ lại với nguyên số hiệu thả có so cao lầm báo suất cùng lậu báo suất.
Động thái kiểm tra đo lường kỹ thuật là ở trình tự vận hành trong quá trình, thông qua giám sát trình tự vận hành trạng thái tới kiểm tra đo lường hay không đã xảy raBuffer overflow.Nên loại kỹ thuật có thể thông qua mơ hồ thí nghiệm (fuzz testing) chủ động dụ phát, cũng có thể thông qua sửa chữa mềm cứng kiện ngôi cao bị động giám sát, lấy phát hiện lỗ hổng. Người trước ưu điểm là lầm báo suất thấp; khuyết điểm là thí nghiệm đầy đủ tính vô pháp bảo đảm, khả năng có so cao lậu báo suất. Người sau ưu điểm là lậu báo suất thấp; khuyết điểm là đại giới đại, thả phần lớn vô pháp phòng ngựCự tuyệt phục vụ công kích.
Căn cứ buffer overflow nguyên lý, đưa ra một loại căn cứ vào nhưng chấp hành số hiệu buffer overflow kiểm tra đo lường mô hình, cấp ra nên mô hình lý luận cơ sở, miêu tả mô hình xây dựng quá trình, đưa ra tân giảm xóc khu trích dẫn ví dụ thực tế phân biệt phương pháp. Nên mô hình đem nhưng chấp hành số hiệu phản tổng hợp vì tổng hợp số hiệu, thành lập hàm số thuyên chuyển quan hệ đồ cùngKhống chế lưu đồ,Phân tích giảm xóc khu lượng biến đổi và trích dẫn ví dụ thực tế, từ giảm xóc khu trích dẫn ví dụ thực tế nghịch trình tự lưu phương hướng quy kết đường nhỏ ước thúc, thông qua ước thúc cầu giải phán đoán buffer overflow khả năng cùng không.[2]
