1959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle/* 2959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * Copyright (C) 2014 The Android Open Source Project 3959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * 4959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * Licensed under the Apache License, Version 2.0 (the "License"); 5959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * you may not use this file except in compliance with the License. 6959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * You may obtain a copy of the License at 7959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * 8959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * http://www.apache.org/licenses/LICENSE-2.0 9959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * 10959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * Unless required by applicable law or agreed to in writing, software 11959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * distributed under the License is distributed on an "AS IS" BASIS, 12959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * See the License for the specific language governing permissions and 14959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * limitations under the License. 15959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle */ 16959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle 17959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kylepackage dexfuzz.rawdex.formats; 18959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle 19959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyleimport dexfuzz.rawdex.DexRandomAccessFile; 20959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyleimport dexfuzz.rawdex.Instruction; 21959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle 22959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyleimport java.io.IOException; 23959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle 24959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle// NB: This format is only used for statically determined verification errors, 25959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle// so we shouldn't encounter it in ART. (Or even before, as they are only written in during 26959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle// verification, which comes after our fuzzing...) 27959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle// Therefore, no need to say this implements ContainsPoolIndex, even though it is a *c format 28959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kylepublic class Format20bc extends Format2 { 29959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle @Override 30959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle public void writeToFile(DexRandomAccessFile file, Instruction insn) throws IOException { 31959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle file.writeByte((byte) insn.info.value); 32959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle file.writeByte((byte) insn.vregA); 33959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle file.writeUShort((short) insn.vregB); 34959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle return; 35959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle } 36959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle 37959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle @Override 38959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle public long getA(byte[] raw) throws IOException { 39959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle return RawInsnHelper.getUnsignedByteFromByte(raw, 1); 40959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle } 41959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle 42959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle @Override 43959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle public long getB(byte[] raw) throws IOException { 44959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle return RawInsnHelper.getUnsignedShortFromTwoBytes(raw, 1); 45959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle } 46959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle 47959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle @Override 48959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle public long getC(byte[] raw) throws IOException { 49959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle return (long) 0; 50959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle } 51959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle} 52