Проблемы с памятью в длинной арифметике

[Свитозар]

Привет.
Я пишу сейчас длинную арифметику.
Сложение,вычитание и все дополнительные функции(сдвиг,нахождение старшего бита...) работают коректно.
Конец числа определяеться -1.
Числа храняться в системе исч. 2^12 .
Умножение я сделал алгоритмом Карацубы.
И с ним проблема : при небольших входных числах всё правильно,а при длинных числах(256 бит,например) ошибка памяти : поврежнение кучи.
Помогите разобраться пожалуйста!
уже неделю бьюсь над этим(
Вот код:

int* multipl(int* a,int* b)
{
	int k=16*16*16-1;//максимальное значение розряда 2^12
	int* r=new int[1000]; //result
	int q=HighBitNumber(a);
	int p=HighBitNumber(b);

	if((q==0)&&(p==0))
	{
		r[0]=a[0]*b[0];
		if(r[0]>k)
		{
			int m; //вспомогательная пер.
			m=r[0]%(k+1);
			r[1]=(r[0]-m)/k;
			r[0]=m;
			r[2]=-1;
		}
		else r[1]=-1;
	}

	else
	{
	//сделаем из входных чисел числа длины 2n (k)
	int k=max(q+1,p+1);
	if(k%2==1) k=k+1;
	int i=q;
	while(i++<k-1) a[i]=0;  //пока не пришли к последнему необходимому биту
	a[i]=-1;
	
	i=p;
	while(i++<k-1) b[i]=0;
	b[i]=-1;
	i=0;

	//теперь сделаем из них по два числа длины n
	int n=k/2;
	int* a1=new int[n+1];
	for(int i=0;i<n;i++) a1[i]=a[n+i];
	a1[n]=-1;
	int* a0=new int[n+1];
	for(int i=0;i<n;i++) a0[i]=a[i];
	a0[n]=-1;
    int* b1=new int[n+1];
	for(int i=0;i<n;i++) b1[i]=b[n+i];
	b1[n]=-1;
	int* b0=new int[n+1];
	for(int i=0;i<n;i++) b0[i]=b[i];
	b0[n]=-1;

	//сделано. используем алг.Карацубы
	int* r1=new int[1000];
	int* r2=new int[1000];
	int* r3=new int[1000]; // это вспомогательные массивы
	
	r1=multipl(a1,b1);

	int* r1h=new int[1000];
	r1h=shift(r1,2*n);

	int* r1l=new int[1000];
	r1l=shift(r1,n);
	r1=plus_12(r1h,r1l);
	
	r3=multipl(a0,b0);

	int* r3h=new int[1000];
	r3h=shift(r3,n);

	r3=plus_12(r3h,r3);

	r=plus_12(r1,r3);

	int* m1=new int[1000];
	m1=minus_12(a1,a0);
	int* m2=new int[1000];
	m2=minus_12(b0,b1);

	if((m1[0]==-1)&&(m2[0]==-1))
	{
		r2=multipl(minus_12(a0,a1),minus_12(b1,b0));
		r2=shift(r2,n);
		r=plus_12(r2,r);
	}
	else if (m1[0]==-1) 
	{	
		r2=multipl(minus_12(a0,a1),m2);
		r2=shift(r2,n);
		r=minus_12(r,r2);
	}
	else if (m2[0]==-1) 
	{	
		r2=multipl(m1,minus_12(b1,b0));
		r2=shift(r2,n);
		r=minus_12(r,r2);
	}
	else
	{	
		r2=multipl(m1,m2);
		r2=shift(r2,n);
		r=plus_12(r,r2);
	}

	}
	return r;
	}

Если нужно-могу сбросить код остальных функций.

[Abstraction]

1) Используйте отладчик для определения точки падения программы.
2) Структурируйте программу. Сейчас метод слишком большой, в нём много переменных с неговорящими названиями, а переменная k объявлена дважды. Такой стиль провоцирует ошибки и уничтожает Вашу возможность модифицировать код спустя некоторое время.
3) new[] вижу, delete[] не вижу. Одна из возможных причин описанной ошибки - освобождение памяти, выделенной специальной формой оператора new[], оператором delete, а не delete[].