#fixed code
                             @Test
	public void test2() throws IOException
	{
		byte[] b = new byte[1024];
		for (int i = 0; i < 1024; ++i)
			b[i] = (byte) i;
		
		File file = folder.newFile();
		Store store = new Store(folder.getRoot());
		DataFile df = new DataFile(store, file);
		DataFileWriteResult res = df.write(42, 0x1FFFF, ByteBuffer.wrap(b), 0, 0);
		DataFileReadResult res2 = df.read(42, 0x1FFFF, res.sector, res.compressedLength);
		byte[] buf = res2.data;
		Assert.assertArrayEquals(b, buf);
		file.delete();
	}
#vulnerable code 
                             @Test
	public void test2() throws IOException
	{
		byte[] b = new byte[1024];
		for (int i = 0; i < 1024; ++i) b[i] = (byte) i;
		
		File file = folder.newFile();
		Store store = new Store(folder.getRoot());
		DataFile df = new DataFile(store, file);
		int sector = df.write(42, 0x1FFFF, ByteBuffer.wrap(b));
		byte[] buf = df.read(42, 0x1FFFF, sector, b.length);
		Assert.assertArrayEquals(b, buf);
		file.delete();
	} 
                            #location 11 
                            #vulnerability type RESOURCE_LEAK