Kanna Rajan

38 papers A* 9A 5B 1Misc 1Journal 13Unranked 9
YearRankTypeTitle / Venue / Authors
2022 J jnl
Field Robotics
José Pinto, Maria Costa, Renato Mendes, Keila Lima, Paulo Sousa Dias, João Pereira, Manuel A. Ribeiro, Renato Campos, Maria Paola Tomasino, Catarina Magalhães, Francisco López Castejón, Javier Gilabert, Adriana M. Santos-Ferreira, José C. B. da Silva, Paulo Relvas, Trent Lukaczyk, Kay Arne Skarpnes, Emlyn J. Davies, Alexander Chekalyuk, Bruno Loureiro, Ian G. Brosnan, Jing Li, João Borges de Sousa, Kanna Rajan
2020 J jnl
Int. J. Robotics Res.
Trygve Olav Fossum, John P. Ryan, Tapan Mukerji, Jo Eidsvik, Thom Maughan, Martin Ludvigsen, Kanna Rajan
2020 J jnl
CoRR
Trygve Olav Fossum, Cédric Travelletti, Jo Eidsvik, David Ginsbourger, Kanna Rajan
2020 conf
ISER
José Pinto, Maria Costa, Keila Lima, Paulo Sousa Dias, João Pereira, Manuel A. Ribeiro, Renato Campos, Zara Mirmalek, Renato Mendes, Francisco López Castejón, Javier Gilabert, Maria Paola Tomasino, Catarina Magalhães, José C. B. da Silva, Paulo Relvas, Trent Lukaczyk, Kay Arne Skarpnes, Martin Ludvigsen, Alexander Chekalyuk, Bruno Loureiro, Ian G. Brosnan, Jing Li, Ami Hannon, João Borges de Sousa, Kanna Rajan
2019 J jnl
Auton. Robots
António Sérgio Ferreira, Maria Costa, Frédéric Py, José Pinto, Mónica A. Silva, Alex Nimmo-Smith, Tor Arne Johansen, João Borges de Sousa, Kanna Rajan
2019 J jnl
Sci. Robotics
Glaucia Moreira Fragoso, Emlyn J. Davies, Jenny E. Ullgren, Renato Mendes, Geir Johnsen, Ingrid Ellingsen, Jo Eidsvik, Martin Ludvigsen, Kanna Rajan
2018 J jnl
J. Field Robotics
Trygve Olav Fossum, Jo Eidsvik, Ingrid Ellingsen, Morten Omholt Alver, Glaucia Moreira Fragoso, Geir Johnsen, Renato Mendes, Martin Ludvigsen, Kanna Rajan
2017 J jnl
Artif. Intell.
Kanna Rajan, Alessandro Saffiotti
2016 conf
ISER
Frédéric Py, José Pinto, Mónica A. Silva, Tor Arne Johansen, João Sousa, Kanna Rajan
2016 J jnl
Auton. Robots
Francesco Maurelli, Marc Carreras, Kanna Rajan, David Lane
2015 J jnl
Int. J. Robotics Res.
Jnaneshwar Das, Frédéric Py, Julio B. J. Harvey, John P. Ryan, Alyssa Gellene, Rishi Graham, David A. Caron, Kanna Rajan, Gaurav S. Sukhatme
2015 A conf
IROS
Lukás Chrpa, José Pinto, Manuel A. Ribeiro, Frederic Py, João Borges de Sousa, Kanna Rajan
2014 conf
ISER
Ryan N. Smith, Philip Cooksey, Frederic Py, Gaurav S. Sukhatme, Kanna Rajan
2014 A* conf
ICRA
Margarida Faria, José Pinto, Frederic Py, João Fortuna, Hugo Dias, Ricardo Martins, Frederik Leira, Tor Arne Johansen, João Borges de Sousa, Kanna Rajan
2014 J jnl
Auton. Robots
Daniele Magazzeni, Frédéric Py, Maria Fox, Derek Long, Kanna Rajan
2013 A* conf
ICRA
Jnaneshwar Das, Julio B. J. Harvey, Frederic Py, Harshvardhan Vathsangam, Rishi Graham, Kanna Rajan, Gaurav S. Sukhatme
2013 A conf
IROS
Matthew Bernstein, Rishi Graham, Danelle Cline, John M. Dolan, Kanna Rajan
2013 conf
ICDE Workshops
Kevin Gomes, Danelle Cline, Duane Edgington, Michael Godin, Thom Maughan, Mike McCann, Tom O'Reilly, Fred Bahr, Francisco Chávez, Monique Messie, Jnaneshwar Das, Kanna Rajan
2012 A* conf
ICRA
Jeremy Gottlieb, Rishi Graham, Thom Maughan, Frederic Py, Gabriel Elkaim, Kanna Rajan
2012 J jnl
Int. J. Robotics Res.
Jnaneshwar Das, Frederic Py, Thom Maughan, Tom O'Reilly, Monique Messie, John P. Ryan, Gaurav S. Sukhatme, Kanna Rajan
2012 conf
ISER
Rishi Graham, Frédéric Py, Jnaneshwar Das, Drew Lucas, Thom Maughan, Kanna Rajan
2011 Misc conf
FLAIRS
Sandeep Kumar, Sergio Jiménez Celorrio, Frederic Py, Deepak Khemani, Kanna Rajan
2011 A conf
IROS
Jnaneshwar Das, Thom Maughan, Mike McCann, Mike Godin, Tom O'Reilly, Monique Messie, Fred Bahr, Kevin Gomes, Frederic Py, James G. Bellingham, Gaurav S. Sukhatme, Kanna Rajan
2010 A conf
AAMAS
Frederic Py, Kanna Rajan, Conor McGann
2010 conf
ISER
Jnaneshwar Das, Frédéric Py, Thom Maughan, Tom O'Reilly, Monique Messie, John P. Ryan, Kanna Rajan, Gaurav S. Sukhatme
2010 A* conf
ICRA
Jnaneshwar Das, Kanna Rajan, Sergey Frolov, Frederic Py, John P. Ryan, David A. Caron, Gaurav S. Sukhatme
2008 A* conf
ICRA
Conor McGann, Frederic Py, Kanna Rajan, Hans Thomas, Richard Henthorn, Robert S. McEwen
2008 A* conf
AAAI
Conor McGann, Frederic Py, Kanna Rajan, John P. Ryan, Richard Henthorn
2008 conf
ISER
Conor McGann, Frederic Py, Kanna Rajan, John P. Ryan, Hans Thomas, Richard Henthorn, Robert S. McEwen
2006 conf
AAAI Spring Symposium: To Boldly Go Where No Human-Robot Team Has Gone Before
Liam Pedersen, William J. Clancey, Maarten Sierhuis, Nicola Muscettola, David E. Smith, David Lees, Kanna Rajan, Sailesh Ramakrishnan, Paul Tompkins, Alonso Vera, Tom Dayton
2005 A* conf
ICAPS
John L. Bresina, Ari K. Jónsson, Paul H. Morris, Kanna Rajan
2005 A* conf
IJCAI
John L. Bresina, Ari K. Jónsson, Paul H. Morris, Kanna Rajan
2005 A* ed.
ICAPS
Susanne Biundo, Karen L. Myers, Kanna Rajan
2004 J jnl
IEEE Intell. Syst.
Mitchell Ai-Chang, John L. Bresina, Leonard Charest, Adam Chase, Jennifer Cheng-jung Hsu, Ari K. Jónsson, Bob Kanefsky, Paul H. Morris, Kanna Rajan, Jeffrey Yglesias, Brian G. Chafin, William C. Dias, Pierre F. Maldague
2000 conf
AIPS
Ari K. Jónsson, Paul H. Morris, Nicola Muscettola, Kanna Rajan, Benjamin D. Smith
2000 A conf
ECAI
Kanna Rajan, Douglas E. Bernard, Gregory Dorais, Edward B. Gamble, Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, P. Pandurang Nayak, Nicolas F. Rouquette, Benjamin D. Smith, William Taylor, Yu-Wen Tung
1998 J jnl
IEEE Intell. Syst.
Steve A. Chien, Nicola Muscettola, Kanna Rajan, Benjamin D. Smith, Gregg R. Rabideau
1997 B conf
EKAW
Benjamin D. Smith, Kanna Rajan, Nicola Muscettola
redb/extractors/decompiler/apk/jadx_wrapper.py
← Index redb/extractors/decompiler/apk/jadx_wrapper.py python
"""JADX decompiler subprocess wrapper.

Manages JADX subprocess execution for Java decompilation,
following the CAPA extractor subprocess pattern.
"""

import os
import re
import signal
import subprocess
from typing import Dict, Optional


class JADXDecompiler:
    """Subprocess wrapper for JADX Java decompilation."""

    def __init__(self, jadx_path: str = None, timeout: int = None, log=None):
        self.jadx_path = jadx_path or os.getenv("JADX_PATH", "jadx")
        self.timeout = timeout or int(os.getenv("JADX_TIMEOUT", "300"))
        self.log = log

    def decompile(self, apk_path: str, output_dir: str) -> bool:
        """Run JADX decompilation on an APK file.

        Returns True on success, False on failure.
        """
        cmd = [
            self.jadx_path,
            "--no-res",
            "--no-imports",
            "--threads-count", "2",
            "--output-dir", output_dir,
            apk_path,
        ]

        try:
            process = subprocess.Popen(
                cmd,
                stdout=subprocess.PIPE,
                stderr=subprocess.PIPE,
                text=True,
                preexec_fn=os.setsid,
            )

            try:
                stdout, stderr = process.communicate(timeout=self.timeout)
                if process.returncode != 0:
                    if self.log:
                        self.log.warning(
                            f"JADX returned non-zero exit code {process.returncode}: "
                            f"{stderr[:500] if stderr else 'no stderr'}"
                        )
                    # JADX may still produce partial output on non-zero exit
                    return os.path.isdir(os.path.join(output_dir, "sources"))
                return True

            except subprocess.TimeoutExpired:
                if self.log:
                    self.log.error(
                        f"JADX timed out after {self.timeout}s"
                    )
                # Kill the process group
                try:
                    os.killpg(os.getpgid(process.pid), signal.SIGTERM)
                    process.wait(timeout=3)
                except (ProcessLookupError, subprocess.TimeoutExpired):
                    try:
                        os.killpg(os.getpgid(process.pid), signal.SIGKILL)
                    except ProcessLookupError:
                        pass
                return False

        except FileNotFoundError:
            if self.log:
                self.log.error(
                    f"JADX not found at '{self.jadx_path}'. "
                    "Install JADX or set JADX_PATH env var."
                )
            return False
        except Exception as e:
            if self.log:
                self.log.error(f"JADX execution error: {e}")
            return False

    def parse_java_methods(self, output_dir: str) -> Dict[str, str]:
        """Parse JADX output into per-method Java source.

        Returns dict keyed by 'package.ClassName.methodName(ParamType1, ParamType2)'.
        """
        sources_dir = os.path.join(output_dir, "sources")
        if not os.path.isdir(sources_dir):
            return {}

        methods = {}
        for root, _dirs, files in os.walk(sources_dir):
            for fname in files:
                if not fname.endswith(".java"):
                    continue
                fpath = os.path.join(root, fname)
                try:
                    with open(fpath, "r", encoding="utf-8", errors="replace") as f:
                        content = f.read()

                    # Derive the fully qualified class name from file path
                    rel_path = os.path.relpath(fpath, sources_dir)
                    class_fqn = rel_path.replace(os.sep, ".").replace("/", ".")
                    if class_fqn.endswith(".java"):
                        class_fqn = class_fqn[:-5]

                    file_methods = self._extract_methods_from_java(
                        content, class_fqn
                    )
                    methods.update(file_methods)

                except Exception:
                    continue

        return methods

    def _extract_methods_from_java(
        self, source: str, class_fqn: str
    ) -> Dict[str, str]:
        """Extract individual methods from a Java source file.

        Uses brace-depth tracking to find method boundaries.
        """
        methods = {}
        lines = source.split("\n")
        i = 0

        while i < len(lines):
            line = lines[i]
            match = self._is_method_declaration(line)
            if match:
                method_name, param_types = match
                # Track brace depth to find method end
                start_line = i
                brace_depth = 0
                found_open = False

                for j in range(i, len(lines)):
                    for ch in lines[j]:
                        if ch == "{":
                            brace_depth += 1
                            found_open = True
                        elif ch == "}":
                            brace_depth -= 1

                    if found_open and brace_depth == 0:
                        method_body = "\n".join(lines[start_line : j + 1])
                        key = f"{class_fqn}.{method_name}({param_types})"
                        methods[key] = method_body
                        i = j + 1
                        break
                else:
                    i += 1
            else:
                i += 1

        return methods

    # Regex for method declarations (not constructors, not class/interface decl)
    _METHOD_DECL_RE = re.compile(
        r"^\s*(?:(?:public|private|protected|static|final|synchronized|"
        r"native|abstract|strictfp)\s+)*"
        r"(?:[\w<>\[\]?.]+\s+)"  # return type
        r"(\w+)"  # method name
        r"\s*\(([^)]*)\)"  # parameters
        r"(?:\s*throws\s+[\w.,\s]+)?"
        r"\s*\{"
    )

    def _is_method_declaration(self, line: str) -> Optional[tuple]:
        """Check if a line is a method declaration.

        Returns (method_name, param_types_str) or None.
        """
        m = self._METHOD_DECL_RE.match(line)
        if not m:
            return None

        method_name = m.group(1)
        params_raw = m.group(2).strip()

        # Skip class-level blocks
        if method_name in ("if", "for", "while", "switch", "try", "catch"):
            return None

        # Extract just the type names from parameters
        if not params_raw:
            return (method_name, "")

        param_types = []
        for param in params_raw.split(","):
            param = param.strip()
            if not param:
                continue
            parts = param.split()
            # Last non-annotation token before the variable name is the type
            # Simple heuristic: type is second-to-last, name is last
            if len(parts) >= 2:
                param_types.append(parts[-2])
            elif len(parts) == 1:
                param_types.append(parts[0])

        return (method_name, ", ".join(param_types))