repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
type: make pointers unsigned
2019-02-07
Dan Carpenter
type: make pointers unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Carpenter
extra:
t
i
g
h
t
en
canoni
c
al for loop handli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
penter
extr
a
: fix function
compa
r
iso
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Car
p
enter
r
anges: imp
r
ove casting
negatives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan
C
arpe
n
ter
implied: don't use
i
ncomplet
e
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Car
p
enter
implications: remove a ma
g
ic numbe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
D
an Carpenter
db: show c
o
mparison s
t
rings for
c
ondi
t
i
o
nal returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan
Carpen
t
e
r
db: don't store recu
r
si
v
e
s
t
ruct m
e
mbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
type: handle pointer type correct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan
C
a
rpen
t
er
extra/unt
r
a
cked_param: ma
r
k
l
ost parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
D
a
n Carpenter
address: return
u
nknown if we can't figure out the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
Dan Carpent
e
r
implied: tweak some
debug st
a
t
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
expressions:
p
arse
"
$
0
-
>foo
.
b
a
r" correctly
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
an Carp
e
nter
retu
r
n_to_p
a
ram: u
s
e ide
n
t->len in
s
t
ead o
f
strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
a
n Carpe
n
ter
param_se
t
: handl
e
mtag ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Da
n
Carpenter
assigned_expr: make it work for param
e
ter ass
i
gnm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
D
an
C
arpenter
equiv: use DB informat
i
on to set extra state in equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carp
e
nter
extra
:
impr
o
ve
g
e
t_other_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpenter
e
x
t
ra
:
futz
a
ro
u
n
d
with
g
et_other_nam
e
_sy
m
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Car
p
en
t
er
helpe
r
:
imp
r
ove get_
m
ember_name()
for anonymous structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n Carp
e
nt
e
r
db: esca
p
e
n
ew
l
ines in
s
a
v
e_cac
h
e_da
t
a()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n Carp
e
nter
ranges: c
o
nstify call_re
s
u
l
t
s
_t
o
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n
Carp
e
nter
extra: filter really
lon
g
un
u
se
d
p
a
r
am value
i
n
formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Da
n
Carpenter
extra: use
i
dent->len instead of calling strle
n
(
i
dent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpen
t
er
db: don't c
r
eate n
e
w
s
plits in split_pos
i
tiv
e
_f
r
om_
n
e
gative()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
an Carpenter
e
xtra: fix
r
eturned_struc
t
_members()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
a
r
penter
par
a
m_used: fix h
a
n
d
ling of called functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
r
p
ent
e
r
extra
:
export in_warn_on_m
a
cro
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
rpenter
t
y
pe:
m
i
s
c small
cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
rpent
e
r
type: fix get_member_from_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
an Carpenter
kpatch
.
sh: fix spelling s
/
ammend/amend/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
r
p
enter
type: a
d
d a
short cut in get_real_base_t
y
p
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
impl
i
ed:
P
r
eserve ->
h
a
r
d_max for fake his
t
ory states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
extra: p
r
e
ser
v
e hard_max after
c
om
p
ar
i
sons t
o
zer
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpente
r
s
l
is
t
:
m
ake sm->children a
s
malle
r
type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpente
r
s
list: rename variables in __merge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan
Car
p
ent
e
r
sli
s
t:
handle the fast path in __mer
g
e_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan C
a
r
penter
slist
:
s
i
mpl
i
fy __merge_
s
t
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
D
a
n
Carp
e
nter
nospec: don't
r
e
cord nospec
parameter info which hasn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-14
Dan
C
ar
p
enter
dm
a
_
mapping_er
r
or: update
t
o o
n
ly
complain a
b
out
l
e
gacy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-11
John Le
v
on
Remo
v
e
-We
m
p
ty-character-con
s
t
ant
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-07
Da
n
Carp
e
nter
s
m
a
tch: add a
--succeed opti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
J
o
hn Levon
A
dd
illumo
s
projects
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Jo
h
n Levon
Conv
e
r
t some sm_msg() into mor
e
specific reporting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John L
e
von
Convert s
m
_
m
s
g() wit
h
an error
:
prefix
i
n
to sm_error()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
J
o
h
n
Lev
o
n
Conve
r
t all sm_msg("warn:
.
.
" into sm_warning()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
J
ohn Levon
Regul
a
rise
error reporting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Dan
C
arpe
n
t
er
db: m
a
ke escape_newlines() take
a co
n
s
t
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpente
r
parse
.
h: c
r
eate s
t
m
t_get_pare
n
t_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpe
n
t
e
r
constraint
s
: escape
S
QL
s
tatements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carp
e
nt
e
r
statem
e
nt_count: record
h
o
w
many statem
e
n
t
s there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
D
a
n Carpenter
extra/db: sil
e
n
ce an inval
i
d S
Q
L warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Da
n
C
ar
p
enter
b
u
f_siz
e
: fix handlin
g
of 1 e
l
eme
n
t arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carp
e
nter
db: sql debug mode was
execut
i
ng the
S
Q
L twi
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carp
e
n
t
er
test_bit: add tes
t
_and_set_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
d
e
bug: introduce __smatch_mem()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
db: d
o
n
'
t save s
t
ruct members for inte
g
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
implied:
r
e
m
o
v
e an unnecessary NULL
c
heck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
n
ul_
t
erminator: export the is_nul
_
t
erminated() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
Car
p
e
nter
k
p
atch:
use
g
it instead of tryin
g
to cre
a
te diffs by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
struct
_
a
ssignment: handle
unions as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
missi
n
g_break: turn it
o
ff by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
fre
e
_strict: f
i
x
some
f
als
e
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
r
p
enter
Revert "L
o
ok across
the
entire compile line for smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn
Levon
Look acr
o
ss the
e
ntir
e
c
o
mpile line for smatch argument
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Lev
o
n
sparse: add
-Wempty-character
-
con
s
ta
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
spar
s
e: add -W
b
ig-c
o
nstant
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn Levon
sparse: add -Wno-non-ansi-funct
i
on-dec
l
a
rati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: cor
r
ectly
h
a
n
dle "-D foo" and "-U foo"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Luc
V
a
n Oostenryck
fix: spaces
in
macro de
f
inition
o
n the
command line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John L
e
von
Intr
o
d
u
ce ski
p
ped_fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn
Levon
Fix escape_newlines()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sp
a
rse: li
b
.
c
s
hou
l
d ha
n
d
le being built 32-bit,
compil
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John L
e
von
s
p
arse: d
e
fine
_
_
x86_
6
4; some sof
t
wa
r
e check
s
for this
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn L
e
vo
n
A
llo
w
addi
t
i
onal
CFLAGS to be specified, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carpenter
trinity: Proof of conce
p
t to auto-generate trinity
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpen
t
er
user_data: r
e
name to
s
ma
t
ch_kern
e
l_use
r
_data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
a
ssigned_
e
x
pr: renam
e
t
o
s
m
a
tch_
a
s
signed_expr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Da
n
Carp
e
nter
s
match: ma
k
e the
-
-enable/disable options take str
i
ngs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John Le
v
o
n
clock()
i
s alrea
d
y defined on illumos, so rename the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John Le
v
o
n
Ig
n
o
r
e "#ident" as
f
o
und in some o
l
d sources
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John
Levo
n
Use $(CFLAGS
)
w
hen comp
i
ling smatch
.
c its
e
lf
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpent
e
r
smatch_nul_terminate
d
: fix c
o
m
p
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan
C
a
rpente
r
untracked_param: fix a
NULL derefe
r
ence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Da
n
Carpenter
un
i
nitial
i
zed:
f
ix a crashing
bug
parsing "return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
Dan
C
arpenter
nul_term
i
n
ator: track when
strings have
a
N
UL terminator
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
arp
e
nte
r
u
s
er_data2: fi
x
a typ
e
issue in cal
l
er
_
i
nfo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
C
a
rpent
e
r
user_d
a
ta: int
e
gers can't be dereferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpen
t
er
comp
a
rison: make a bu
f
fer larger
t
o make GCC happy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rpenter
data
_
sour
c
e: track ass
i
gnments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpent
e
r
extra: prevent a
divide by ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rpenter
modificat
i
on_ho
o
ks:
us
e
the DB for frob(&foo
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpent
e
r
sva
l
: introduce sval_binop_overflows_no_sign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpent
e
r
ext
r
a: undo bogus unop changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan
C
arpenter
array_v
a
lues: fi
x
u
p
and support two
d
i
m
en
s
ional lo
c
al
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan
C
a
rpenter
param
_
set: don't
record
a p
a
ram_set for
p++ changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n
Carpe
n
ter
function_hooks:
re-hack around moving
t
he fa
k
e parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
array_values: store
a
r
r
ay valu
e
s of struc
t
member
array
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
fun
c
t
i
on_ho
o
ks: h
a
ck arou
n
d fallout from mo
v
ing
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carpe
n
ter
compariso
n
: don't re
t
urn invalid param
s
in g
e
t_mask
_
co
m
parison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next